default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd AADEBUG 1997: Linköping, Sweden
- Mariam Kamkar:
Proceedings of the Third International Workshop on Automated Debugging, AADEBUG 1997, Linköping, Sweden, May 26-27, 1997. Linköping Electronic Articles in Computer and Information Science 2(009), Linköping University Electronic Press 1997 - Mariam Kamkar:
Preface (with proceedings front matter).
Invited Speaker
- Vijay K. Garg:
Observation and Control for Debugging Distributed Computations. 1-12
Run-Time Checking and Debugging Optimized Code
- Richard W. M. Jones, Paul H. J. Kelly:
Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs. 13-26 - Kim Elms:
Debugging Optimised Code Using Function Interpretation. 27-36 - Mikhail Auguston, Miu Har Hon:
Assertions for Dynamic Shape Analysis of List Data Structures. 37-42
Program Slicing and Software Testing
- Bogdan Korel, Juergen Rilling:
Application of Dynamic Slicing in Program Debugging. 43-58 - Yoga Sivagurunathan, Mark Harman, Sebastian Danicic:
Slicing, I/O and the Implicit State. 59-68 - David Byers, Magnus Engström, Mariam Kamkar:
The Design of a Test Case Definition Language. 69-78
Knowledge-Based Debugging
- Adele E. Howe, Gabriel Somlo:
Modeling Intelligent System Execution as State Transition Diagrams to Support Debugging. 79-86 - Sarah Mallet, Mireille Ducassé:
DDB Trees: A Basis for Deductive Database Explanations. 87-102
Invited Speaker
- Massimo Fabris:
Constraint Programs Debugging: Current Activities Inside the DiSCiPl Esprit Program. 103-122
Diagnosis of Constraint Programs
- Johan Boye, Wlodzimierz Drabent, Jan Maluszynski:
Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach. 123-140 - Gérard Ferrand, Alexandre Tessier:
Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons. 141-153
Invited Paper
- Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla:
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. 155-169
Position Papers
- Simon P. Booth, Simon B. Jones:
Walk Backwards to Happiness - Debugging by Time Travel. 171-183 - Thomas R. Gross:
Bisection Debugging. 185-191 - David Byers, Mariam Kamkar:
A Hybrid Approach to Propagation Analysis. 193-197
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 2024-10-31 20:22 CET 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:
