Reducing the Size of Dynamic Slicing with Constraint Solving.

Birgit Hofer Franz Wotawa

Published in: QSIC (2012)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
dynamic environments
constraint solver
constraint satisfaction
constraint programming
constraint satisfaction problems
search strategies
tree search