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
  • PDF
A multiple-view analysis model of debugging processes
  • 7
  • PDF
Task time lines as a debugging tool
  • 2
A Practical Study of Debugging Using Model Checking
  • 4
Debugging with dynamic slicing and backtracking
  • 333
  • PDF
Lazy SETL debugging with persistent data structures
  • 3
  • PDF
Debugging Distributed Ada Programs
  • 3
  • PDF
Enhancing debugging technology
  • 5
  • PDF
Cognitive activities and support in debugging
  • 25
  • Highly Influenced
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 16 REFERENCES
Debugging concurrent programs
  • 453
  • PDF
Algorithmic Program Debugging
  • 1,257
A Mathematical Framework for the Investigation of Testing
  • J. S. Gourlay
  • Computer Science
  • IEEE Transactions on Software Engineering
  • 1983
  • 113
Task-wait-for graphs and their application to handling tasking deadlocks
  • 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
...
1
2
...