Automated debugging based on a constraint model of the program and a test case
scientific article; zbMATH DE number 6065761