A Case for Dynamic Reverse-code Generation to Debug Non-deterministic Programs

Jooyong Yi

Backtracking (i.e., reverse execution) helps the user of a debugger to naturally think backwards along the execution path of a program, and thinking backwards makes it easy to loca…