The Ariadne Debugger:
Scalable Application of Event-Based Abstraction

Janice Cuny, George Forman, Alfred Hough, Joydip Kundu,
Calvin Lin, Lawrence Snyder, and David Stemple
Revised June 1993

• Introduction
• Our Approach
  • The Ariadne Modeling Language
  • Logical Time Manipulation in Ariadne
  • Ariadne Queries
• Sample Ariadne Debugging Sessions
  • Permutation
    • Summary of Debugging Session.
    • Debugging Session.
  • Gaussian Elimination
    • Summary of Debugging Session.
    • Debugging Session.
  • Delaunay Triangulation
    • Summary of Debugging Session
    • Debugging Session
• The Limitations of Textual Feedback
• Conclusion
• Acknowledgements
• References
• About this document ...