A general framework for debugging
@article{Araki1991AGF, title={A general framework for debugging}, author={K. Araki and Z. Furukawa and J. Cheng}, journal={IEEE Software}, year={1991}, volume={8}, pages={14-20} }
The state of the art of debugging is examined. A debugged process model that serves as the basis of a general debugging framework is described. The relationship of the model to traditional debugging processes and support tools is discussed. A minimal set of requirements for a general debugging framework is described in terms of both the theory behind debugging methodologies and the support tools. An execution monitor, Eden, that serves as a debugging tool within this general framework is… Expand
68 Citations
Implementation of DDARC: software architecture for debugging distributed programs
- Computer Science
- Proceedings ACS/IEEE International Conference on Computer Systems and Applications
- 2001
- PDF
A multiple-view analysis model of debugging processes
- Computer Science
- Proceedings International Symposium on Empirical Software Engineering
- 2002
- 7
- PDF
A Practical Study of Debugging Using Model Checking
- Computer Science
- 2013 20th Asia-Pacific Software Engineering Conference (APSEC)
- 2013
- 4
Cognitive activities and support in debugging
- Computer Science
- Proceedings Fourth Annual Symposium on Human Interaction with Complex Systems
- 1998
- 25
- Highly Influenced
References
SHOWING 1-10 OF 16 REFERENCES
A Mathematical Framework for the Investigation of Testing
- Computer Science
- IEEE Transactions on Software Engineering
- 1983
- 113
Task-wait-for graphs and their application to handling tasking deadlocks
- Computer Science
- TRI-Ada '90
- 1990
- 13
AMarhematical Framework for the Investigation ofTesting ZEEE Tram. Sofi?uare fig
- AMarhematical Framework for the Investigation ofTesting ZEEE Tram. Sofi?uare fig
- 1989
Debugging Concurrent Pmgrams
- ACM CMnputing Suruqr
- 1989
Helmbold, “Debugging Concurrent Pmgrams,“ACM
- CMnputing Suruqr,
- 1989
SIGPh No&r, Aug. 1983. 2
- Proc. SIGSoft and SIGPlan Software Eng. Symp. High-Level Debugging Proc. SIGPlan and SIGOps WorkshopParallel and Disuibuted DebuggingSIGPIan Notices
- 1989
SIGPlan Notices, Aug. 1983. 2 SIGPIan Notices
- Proc. SIGSoft and SIGPlan Software Eng. Symp. High-Level Debugging Proc. SIGPlan and SIGOps Workshop Parallel and Dismhuted Debugging
- 1989