Abstract is missing.
- Observation and Control for Debugging Distributed ComputationsVijay K. Garg. 1-12 [doi]
- Backwards-Compatible Bounds Checking for Arrays and Pointers in C ProgramsRichard W. M. Jones, Paul H. J. Kelly. 13-26 [doi]
- Debugging Optimised Code Using Function InterpretationKim Elms. 27-36 [doi]
- Assertions for Dynamic Shape Analysis of List Data StructuresMikhail Auguston, Miu Har Hon. 37-42 [doi]
- Application of Dynamic Slicing in Program DebuggingBogdan Korel, Juergen Rilling. 43-58 [doi]
- Slicing, I/O and the Implicit StateYoga Sivagurunathan, Mark Harman, Sebastian Danicic. 59-68 [doi]
- The Design of a Test Case Definition LanguageDavid Byers, Magnus Engström, Mariam Kamkar. 69-78 [doi]
- Modeling Intelligent System Execution as State Transition Diagrams to Support DebuggingAdele E. Howe, Gabriel Somlo. 79-86 [doi]
- DDB Trees: A Basis for Deductive Database ExplanationsSarah Mallet, Mireille Ducassé. 87-102 [doi]
- Constraint Programs Debugging: Current Activities Inside the DiSCiPl Esprit ProgramMassimo Fabris. 103-122 [doi]
- Declarative Diagnosis of Contraint Programs: An Assertion-Based ApproachJohan Boye, Wlodzimierz Drabent, Jan Maluszynski. 123-140 [doi]
- Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof SkeletonsGérard Ferrand, Alexandre Tessier. 141-153 [doi]
- On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic ProgramsFrancisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla. 155-169 [doi]
- Walk Backwards to Happiness - Debugging by Time TravelSimon P. Booth, Simon B. Jones. 171-183 [doi]
- Bisection DebuggingThomas R. Gross. 185-191 [doi]
- A Hybrid Approach to Propagation AnalysisDavid Byers, Mariam Kamkar. 193-197 [doi]