: The Notions of Symptom and Error in Declarative Diagnosis of Logic Programs.
Debugging of Logic Programs I
Testing and Debugging of Concurrent and Distributed Systems
Debugging Functional Programs
Debugging of Logic Programs II
: Declarative Debugging of Abstract Data Types in Gödel.
: Slicing Concurrent Programs - A Graph-Theoretical Approach.
Visualization and Graphical User Interfaces
: Animators for Generated Programming Environments.
Knowledge-Based Debugging and Trace-Based Debugging
: Towards a Plan Calculus Based Intelligent Debugging System.
Software Maintenance and Debugging of Logic Programs III
: Identifying Faulty Modifications in Software Maintenance.