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

Surveys and Tutorials

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

Debugging of Logic Programs I

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

Testing and Debugging of Concurrent and Distributed Systems

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

Debugging Functional Programs

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

Debugging of Logic Programs II

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

Slicing

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

Visualization and Graphical User Interfaces

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

Knowledge-Based Debugging and Trace-Based Debugging

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

Software Maintenance and Debugging of Logic Programs III

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

Last update Sat May 18 18:01:54 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page