Automated debugging based on a constraint model of the program and a test case (Q444487)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automated debugging based on a constraint model of the program and a test case |
scientific article; zbMATH DE number 6065761
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated debugging based on a constraint model of the program and a test case |
scientific article; zbMATH DE number 6065761 |
Statements
Automated debugging based on a constraint model of the program and a test case (English)
0 references
14 August 2012
0 references
automated debugging
0 references
algorithmic debugging
0 references
model-based debugging
0 references
constraints
0 references
constraint satisfaction problem
0 references
