Bibliography on debugging and backtracking.

Hiralal Agrawal Eugene H. Spafford

Published in: ACM SIGSOFT Softw. Eng. Notes (1989)

Keyphrases

constraint satisfaction
search algorithm
tree search
data sets
hardware designs
search tree
real time
model based diagnosis
search space
java programs
variable ordering
branch and bound
open source
constraint propagation
software testing
fault localization
dependency directed backtracking