Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach.

Birgit Hofer Franz Wotawa

Published in: Adv. Softw. Eng. (2012)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint satisfaction
constraint solver
program slicing
constraint programming
finite domain
optimal solution
search algorithm
search space
special case
spatial information