Abstract is missing.
- A Pragmatic Survey of Automated DebuggingMireille Ducassé. 1-15
- Usability Criteria for Automated Debugging SystemsNahid Shahmehri, Mariam Kamkar, Peter Fritzson. 16-39
- The Notions of Symptom and Error in Declarative Diagnosis of Logic ProgramsGérard Ferrand. 40-57
- Debugging by Diagnosing AssumptionsLuís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes. 58-74
- Debugging Logic Programs Using SpecificationsYuh-Jeng Lee, Nachum Dershowitz. 75-84
- Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract)Luca Console, Gerhard Friedrich, Daniele Theseider Dupré. 85-87
- Towards Declarative Debugging of Concurrent Constraint ProgramsMarkus P. J. Fromherz. 88-100
- Hierarchy in Testing Distributed programsSridhar Alager, S. Venkatsean. 101-116
- Lazy Algorithmic Debugging: Ideas for Practical ImplementationHenrik Nilsson, Peter Fritzson. 117-134
- The Location of Errors in Functional ProgramsJonathan E. Hazan, Richard G. Morgan. 135-152
- A Generalised Query Minimisation for Program DebuggingVisit Hirankitti, Christopher J. Hogger. 153-170
- What s in a Trace: The Box Model RevisitedGerhard Tobermann, Clemens Beckstein. 171-187
- Declarative Debugging of Abstract Data Types in GödelDominic Binks. 188-205
- Slicing Programs with Arbitrary Control-flowThomas Ball, Susan Horwitz. 206-222
- Slicing Concurrent Programs - A Graph-Theoretical ApproachJingde Cheng. 223-240
- Animators for Generated Programming EnvironmentsFrank Tip. 241-254
- Visualization as Debugging: Understanding/Debugging the Warren Abstract MachineJulio García-Martín, Juan José Moreno-Navarro. 255-272
- Graphical User Interfaces for Algorithmic DebuggingRickard Westman, Peter Fritzson. 273-286
- Towards a Plan Calculus Based Intelligent Debugging SystemRudi Lutz. 287-304
- Trace-Based DebuggingSteven P. Reiss. 305-314
- Identifying Faulty Modifications in Software MaintenanceBogdan Korel. 315-332
- The Application of Formal Specifications to Software Documentation and DebuggingAnoop Goyal, Sriram Sankar. 333-349
- Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic DebuggingKrzysztof Kuchcinski, Wlodzimierz Drabent, Jan Maluszynski. 350-367