A general framework for debugging

  title={A general framework for debugging},
  author={Keijiro Araki and Zengo Furukawa and Jingde Cheng},
  journal={IEEE Software},
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… CONTINUE READING
Highly Cited
This paper has 51 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
29 Citations
6 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 29 extracted citations

51 Citations

Citations per Year
Semantic Scholar estimates that this publication has 51 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-6 of 6 references

Helmbold, “Debugging Concurrent Pmgrams,“ACM

  • D.P.C.E. McDowell
  • CMnputing Suruqr,
  • 1989

Detecting Tasking Communication Deadlocks in Concurrent Ada Prograns,

  • J. Cheng, K. Ushijima
  • Proc. Intl Computer Science Conf., CS Press, Los…
  • 1988

Event-Driven Execution Monitor for Ada Tasking Programs,

  • Cheng, A K., K Ushijima
  • Pmt. Cmpsac, CS Press, Los Alamitos, Calif.,
  • 1987

AMarhematical Framework for the Investigation ofTesting

  • J. S. Gourlay

Similar Papers

Loading similar papers…