default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st AADEBUG 1993: Linköping, Sweden
- Peter Fritszon:
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 Frank Julian 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-27 18:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
