ACM Computing Surveys (CSUR)
A dataflow approach to event-based debugging
Software—Practice & Experience
The design and implementation of a run-time analysis and interactive debugging environment.
The design and implementation of a run-time analysis and interactive debugging environment.
Reversible Debugging Using Program Instrumentation
IEEE Transactions on Software Engineering
Software understanding through integrated structural and run-time analysis
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
| Hi-index | 0.01 |
Efforts to build a better mousetrap for bugs in sequential programs are described. The resulting debugger, called Dalek, is intended to remedy limitations in conventional execution harnesses. Beyond the simple 'stop and look' features offered by typical breakpoint debuggers, Dalek offers a rich control and query language. Dalek's linguistic capabilities for treating sequences of program events offer an improvement over scratch paper as a compensatory technology for human memory limitations. Example applications are given. The very interactive, dynamic style of debugging encouraged by Dalek is discussed.