A framework for automatic debugging

Proceedings - ASE 2002: 17th IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2002, Pages 217-222

  Auguston, M ^a   Jeffery, C ^a   Underwood, S ^a  

^a New Mexico State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

APPLICATION FRAMEWORKS; EXECUTION MONITORS; HIGH LEVEL OF ABSTRACTION; NON-INTRUSIVE; PROGRAM SOURCE CODES;

PROGRAM DEBUGGING;

EID: 84982994816     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2002.1115015     Document Type: Conference Paper

References (18)

1. Mikhail Auguston, Program Behavior Model Based on Event Grammar and its Application for Debugging Automation, in Proceedings of AADEBUG'95, Saint-Malo, France, May 22-24, 1995, pp. 277-291.
2. M. Auguston, A. Gates, M. Lujan, "Defining a program Behavior Model for Dynamic Analyzers", in Proceedings of SEKE'97, Madrid, Spain, June 1997, pp. 257-262.
3. M. Auguston, "Lightweight semantics models for program testing and debugging automation", in Proceedings of the 7th Monterey Workshop on "Modeling Software System Structures in a Fast Moving Scenario", Santa Margherita Ligure, Italy, June 13-16, 2000, pp. 23-31.
4. Clinton L. Jeffery, Program Monitoring and Visualization: an Exploratory Approach. Springer, New York, 1999.
5. Clinton Jeffery, Shamim Mohamed, Ray Pereda, and Robert Parlett, "Programming with Unicon", http://unicon.sourceforge.net.
6. Ralph E. Griswold and Madge T. Griswold, The Icon Programming Language, 3rd edition. Peer to Peer Communications, San Jose, 1997.
7. K. Havelund, S. Johnson, and G. Rosu. "Specification and Error Pattern Based Program Monitoring", European Space Agency Workshop on On-Board Autonomy, Noordwijk, Holland, October 2001.
8. P. C. Bates, J. C. Wileden, "High-Level Debugging of Distributed Systems: the Behavioral Abstraction Approach", Journal of Systems & Software 3, 1983, pp. 255-264.
9. R. Olsson, R. Crawford, W. Wilson, "A Dataflow Approach to Event-based Debugging", Software - Practice & Experience, v.21(2), February 1991, pp. 19-31.
10. M. Ducasse, "COCA: An automated debugger for C", in Proceedings of ICSE 99, Los Angeles, 1999, pp.504-513.
11. D. Rosenblum, "A Practical Approach to Programming with Assertions", IEEE Transactions on Software Engineering, Vol. 21, No 1, January 1995, pp. 19-31.
12. D. C. Luckham, S. Sankar, S. Takahashi, "Two-Dimensional Pinpointing: Debugging with Formal Specifications", IEEE Software, January 1991, pp.74-84.
13. D. C. Luckham, D. Bryan, W. Mann, S. Meldal, D. P. Helmbold, "An Introduction to Task Sequencing Language, TSL version 1.5" (Preliminary version), Stanford University, February 1, 1990, pp. 1-68.
14. M. Golan, D. Hanson, "DUEL - A Very High-Level Debugging Language", in Proceedings of the Winter USENIX Technical Conference, San Diego, Jan. 1993.
15. E. Shapiro, "Algorithmic Program Debugging", MIT Press, May 1982.
16. P. Fritzson, N. Shahmehri, M. Kamkar, T. Gyimothy, "Generalized Algorithmic Debugging and Testing", ACM LOPLAS Vol. 1, No.4, December 1992.
17. Y. Liao, D. Cohen, "A Specificational Approach to High Level Program Monitoring and Measuring", IEEE Transactions On Software Engineering, Vol. 18, No. 11, November 1992, 969-978.
18. http://www.microsoft.com/net/.