1. AADEBUG 1993: Linköping, Sweden

Peter Fritszon (Ed.): Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, May 3-5, 1993, Proceedings. Lecture Notes in Computer Science 749 Springer 1993, ISBN 3-540-57417-4 BibTeX

@proceedings{DBLP:conf/aadebug/1993,
  editor    = {Peter Fritszon},
  title     = {Automated and Algorithmic Debugging, First International Workshop,
               AADEBUG'93, Link{\"o}ping, Sweden, May 3-5, 1993, Proceedings},
  booktitle = {AADEBUG},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {749},
  year      = {1993},
  isbn      = {3-540-57417-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Surveys and Tutorials

Mireille Ducassé: A Pragmatic Survey of Automated Debugging. 1-15 BibTeX
Nahid Shahmehri, Mariam Kamkar, Peter Fritzson: Usability Criteria for Automated Debugging Systems. 16-39 BibTeX
Gérard Ferrand: The Notions of Symptom and Error in Declarative Diagnosis of Logic Programs. 40-57 BibTeX

Debugging of Logic Programs I

Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes: Debugging by Diagnosing Assumptions. 58-74 BibTeX
Yuh-Jeng Lee, Nachum Dershowitz: Debugging Logic Programs Using Specifications. 75-84 BibTeX
Luca Console, Gerhard Friedrich, Daniele Theseider Dupré: Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract). 85-87 BibTeX

Testing and Debugging of Concurrent and Distributed Systems

Markus P. J. Fromherz: Towards Declarative Debugging of Concurrent Constraint Programs. 88-100 BibTeX
Sridhar Alager, S. Venkatsean: Hierarchy in Testing Distributed programs. 101-116 BibTeX

Debugging Functional Programs

Henrik Nilsson, Peter Fritzson: Lazy Algorithmic Debugging: Ideas for Practical Implementation. 117-134 BibTeX
Jonathan E. Hazan, Richard G. Morgan: The Location of Errors in Functional Programs. 135-152 BibTeX

Debugging of Logic Programs II

Visit Hirankitti, Christopher J. Hogger: A Generalised Query Minimisation for Program Debugging. 153-170 BibTeX
Gerhard Tobermann, Clemens Beckstein: What's in a Trace: The Box Model Revisited. 171-187 BibTeX
Dominic Binks: Declarative Debugging of Abstract Data Types in Gödel. 188-205 BibTeX

Slicing

Thomas Ball, Susan Horwitz: Slicing Programs with Arbitrary Control-flow. 206-222 BibTeX
Jingde Cheng: Slicing Concurrent Programs - A Graph-Theoretical Approach. 223-240 BibTeX

Visualization and Graphical User Interfaces

Frank Tip: Animators for Generated Programming Environments. 241-254 BibTeX
Julio García-Martín, Juan José Moreno-Navarro: Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine. 255-272 BibTeX
Rickard Westman, Peter Fritzson: Graphical User Interfaces for Algorithmic Debugging. 273-286 BibTeX

Knowledge-Based Debugging and Trace-Based Debugging

Rudi Lutz: Towards a Plan Calculus Based Intelligent Debugging System. 287-304 BibTeX
Steven P. Reiss: Trace-Based Debugging. 305-314 BibTeX

Software Maintenance and Debugging of Logic Programs III

Bogdan Korel: Identifying Faulty Modifications in Software Maintenance. 315-332 BibTeX
Anoop Goyal, Sriram Sankar: The Application of Formal Specifications to Software Documentation and Debugging. 333-349 BibTeX
Krzysztof Kuchcinski, Wlodzimierz Drabent, Jan Maluszynski: Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging. 350-367 BibTeX