1. Extending DMM Behavior Specifications for Visual Execution and Debugging;Bandener,2010
2. TARDIS: Affordable Time-Travel Debugging in Managed Runtimes;Barr,2014
3. Definition of an executable SPEM 2.0;Bendraou,2007
4. Efficient algorithms for bidirectional debugging;Boothe,2000
5. Supporting Efficient and Advanced Omniscient Debugging for xDSMLs;Bousse,2015