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