A framework for automatic debugging

M. Auguston; C. Jeffery; S. Underwood

doi:10.1109/ASE.2002.1115015

Proceedings 17th IEEE International Conference on Automated Software Engineering,

A framework for automatic debugging

Year: 2002, Pages: 217-222

DOI Bookmark: 10.1109/ASE.2002.1115015

Authors

M. Auguston, Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
C. Jeffery, Dept. of Comput. Sci., New Mexico State Univ., Las Cruces, NM, USA
S. Underwood, 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.

Like what you’re reading?

Already a member?

Get this article FREE with a new membership!

A guided tour through a window oriented debugging environment for embedded real time Ada systems
The Third International IEEE Conference on Ada Applications and Environments
Holistic Debugging -- Enabling Instruction Set Simulation for Software Quality Assurance
14th IEEE International Symposium on Modeling, Analysis, and Simulation
AutoFlow: An automatic debugging tool for AspectJ software
2008 IEEE International Conference on Software Maintenance
RunAssert: A non-intrusive run-time assertion for parallel programs debugging
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
A dataflow language for scriptable debugging
Proceedings. 19th International Conference on Automated Software Engineering, 2004.
Debugging of assembly library functions without target debugging tools
2008 13th Asia-Pacific Computer Systems Architecture Conference (ACSAC)
A Petri Net Based Debugging Environment for QVT Relations
2009 IEEE/ACM International Conference on Automated Software Engineering
A Framework for Distributed Debugging
IEEE Software
A General Framework for Debugging
IEEE Software
A Qualitative Study on Framework Debugging
2019 IEEE International Conference on Software Maintenance and Evolution (ICSME)

A framework for automatic debugging

Authors

Abstract

Related Articles