• Introduction
• Ariadne: The Modeling Component
  • Modeling Language: Structural Hierarchy
  • Modeling Language: Logical Time Manipulation
• Ave: Scalable, Visual Feedback Mechanism
  • Detailed Feedback on Mismatches
  • Spreadsheet Based Query/Assertion Facilities
• Using Ave/Ariadne to Set Consistent Global Breakpoints: The Integration of Event- and State-Based Debugging
  • The State-Based Component
• Tracking Elusive States with Event-based Breakpointing
• Conclusion
• References
• Overview of the Integrated Approach
  • Viewing the Match Through Partitioned Behaviors
• About this document ...