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

[1]  Shmuel Katz,et al.  Interactive blackbox debugging for concurrent languages , 1988, PADD '88.

[2]  David S. Rosenblum.  Specifying concurrent systems with TSL , 1991, IEEE Software.

[3]  Mireille Ducassé,et al.  Coca: an automated debugger for C , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[4]  Mark Weiser,et al.  Program Slicing , 1981, IEEE Transactions on Software Engineering.

[5]  Nahid Shahmehri,et al.  Generalized algorithmic debugging , 1991 .

[6]  Clinton L. Jeffery,et al.  Program monitoring and visualization - a exploratory approach , 2011 .

[7]  David S. Rosenblum.  A Practical Approach to Programming With Assertions , 1995, IEEE Trans. Software Eng..

[8]  Jack C. Wileden,et al.  High-level debugging of distributed systems: The behavioral abstraction approach , 1983, J. Syst. Softw..

[9]  Y. Liao,et al.  A Specificational Approach to High Level Program Monitoring and Measuring , 1992, IEEE Trans. Software Eng..

[10]  Rok Sosic,et al.  Dynascope: a tool for program directing , 1992, PLDI '92.

[11]  David C. Luckham,et al.  An Event-Based Architecture Definition Language , 1995, IEEE Trans. Software Eng..

[12]  Grigore Rosu,et al.  Specification and Error Pattern Based Program Monitoring , 2001 .

[13]  Mikhail Auguston.  Lightweight semantics models for program testing and debugging automation , 2000 .

[14]  David R. Hanson,et al.  DUEL - A Very High-Level Debugging Language , 1993, USENIX Winter.

[15]  Ehud Shapiro,et al.  Algorithmic Program Debugging , 1983 .

[16]  Doron Drusinsky,et al.  The Temporal Rover and the ATG Rover , 2000, SPIN.

[17]  Sriram Sankar,et al.  Two-dimensional pinpointing: debugging with formal specifications , 1991, IEEE Software.

[18]  W. Lewis Johnson,et al.  Understanding and Debugging Novice Programs , 1990, Artif. Intell..

[19]  Ralph E. Griswold,et al.  The Icon programming language , 1983 .

[20]  Fred P. Brooks,et al.  The Mythical Man-Month , 1975, Reliable Software.

[21]  Richard H. Crawford,et al.  A dataflow approach to event‐based debugging , 1991, Softw. Pract. Exp..

[22]  Peter Fritzson,et al.  Generalized algorithmic debugging and testing , 1991, LOPL.

[23]  Mikhail Auguston.  Program Behavior Model Based on Event Grammar and its Application for Debugging Automation , 1995, AADEBUG.