Automated debugging based on a constraint model of the program and a test case (Q444487)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Automated debugging based on a constraint model of the program and a test case |
scientific article |
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