Debugging with Dynamic Slicing and Backtracking


Programmers spend considerable time debugging code. Symbolic debuggers provide some help but the task remains complex and difficult. Other than breakpoints and tracing, these tools provide little high-level help. Programmers must perform many tasks manually that the tools could perform automatically, such as finding which statements in the program affect the value of an output variable for a given test case, and what was the value of a given variable when the control last reached a given program location. If debugging tools provided explicit support for these tasks, the debugging process could be automated to a significant extent. In this paper we present a debugging model, based on dynamic program slicing and execution backtracking techniques, that easily lends itself to automation. This model is based on experience with using these techniques to debug software. We also present a prototype debugging tool, SPYDER, that explicitly supports the proposed model, and with which we are performing further debugging research.

DOI: 10.1002/spe.4380230603

Extracted Key Phrases

9 Figures and Tables


Citations per Year

283 Citations

Semantic Scholar estimates that this publication has 283 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Agrawal1993DebuggingWD, title={Debugging with Dynamic Slicing and Backtracking}, author={Hiralal Agrawal and Richard A. DeMillo and Eugene H. Spafford}, journal={Softw., Pract. Exper.}, year={1993}, volume={23}, pages={589-616} }