
Automated debugging based on a constraint model of the program and a test case
Keywords: محدودیت ها; Automated debugging; Algorithmic debugging; Model-based debugging; Constraints; Constraint satisfaction problem;