A programmer usually assumes the role of a debugging oracle. To check variable values or flow of control in a program state, programmers usually rely on their intuitions and deductive abilities. Hiralal Agrawal, Richard A. DeMillo, and Eugene H. Spafford. An Execution Backtracking Approach to Program Debugging . IEEE Software, May 1991.
Programmers spend considerable amounts of their program development time debugging.
Hiralal Agrawal and Eugene H. Spafford. An execution backtracking approach to program debugging . Our debugger can find dynamic slices for us automatically. In this paper we discuss these two functions slicing and backtracking of our prototype debugging tool. In the next section we discuss the notion of program slicing.