Backtracking and Re-Execution in the Automatic Debugging of Parallelized Programs.

Gregory Matthews Robert Hood Stephen Johnson P. F. Leggett

Published in: HPDC (2002)

Keyphrases

search algorithm
execution traces
java programs
symbolic execution
program execution
control flow
constraint satisfaction
hardware designs
programs written
data flow
search tree
data driven
novice programmers
semi automatic
fully automatic
dependency directed backtracking
lower bound