Automated debugging based on a constraint model of the program and a test case. - Franz Wotawa; Mihai Nica; Iulia Moraru (J. Log. Algebraic Methods Program., 2012)