A Framework for Automatic Debugging

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 ion for debugging activities.

• Type: Conference
• Year: 2002
• Where: KBSE
• Authors: Mikhail Auguston, Clinton Jeffery, Scott Underwood
• Keywords: Declarative Specifications, Execution Monitors, KBSE 2002, Program Source Code, Software Engineering