Title :
A framework for automatic debugging
Author :
Auguston, Mikhail ; Jeffery, Clinton ; Underwood, Scott
Author_Institution :
Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
Abstract :
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.
Keywords :
formal specification; program debugging; application framework; automatic debugging framework; debugging activities; declarative specifications; execution monitors; program source code; Application software; Computer displays; Computer science; Debugging; Event detection; Object oriented modeling; Software engineering; Virtual machining; Voice mail; Writing;
Conference_Titel :
Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE International Conference on
Print_ISBN :
0-7695-1736-6
DOI :
10.1109/ASE.2002.1115015
