17th IEEE International Conference on Automated Software Engineering (ASE'02)
A Framework for Automatic Debugging
Edinburgh, UK
September 23-September 27
ISBN: 0-7695-1736-6
This paper presents an application framework in which declarative specifications of debugging actions are translated into execution monitors that can automatically detect bugs. The approach is non-intrusive with respect to program source code and provides a high level of abstraction for debugging activities.
Citation:
Mikhail Auguston, Clinton Jeffery, Scott Underwood, "A Framework for Automatic Debugging," ase, pp.217, 17th IEEE International Conference on Automated Software Engineering (ASE'02), 2002