3. AADEBUG 1997: Linköping, Sweden

Mariam Kamkar (Ed.): AADEBUG '97, Proceedings of the Third International Workshop on Automatic Debugging, Linköping, Sweden, May 26-27, 1997. Linköping Electronic Articles in Computer and Information Science, ISSN 1401-9841, Vol. 2, No. 009, URL http://www.ep.liu.se/ea/cis/1997/009/

Mariam Kamkar: Preface

Invited Speaker

• Vijay K. Garg:
  Observation and Control for Debugging Distributed Computations. 1-12
  Electronic Edition (link) BibTeX

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
  Electronic Edition (link) BibTeX
• Kim Elms:
  Debugging Optimised Code Using Function Interpretation. 27-36
  Electronic Edition (link) BibTeX
• Mikhail Auguston, Miu Har Hon:
  Assertions for Dynamic Shape Analysis of List Data Structures. 37-42
  Electronic Edition (link) BibTeX

Program Slicing and Software Testing

• Bogdan Korel, Juergen Rilling:
  Application of Dynamic Slicing in Program Debugging. 43-58
  Electronic Edition (link) BibTeX
• Yoga Sivagurunathan, Mark Harman, Sebastian Danicic:
  Slicing, I/O and the Implicit State. 59-68
  Electronic Edition (link) BibTeX
• David Byers, Magnus Engström, Mariam Kamkar:
  The Design of a Test Case Definition Language. 69-78
  Electronic Edition (link) BibTeX

Knowledge-Based Debugging

• Adele E. Howe, Gabriel Somlo:
  Modeling Intelligent System Execution as State Transition Diagrams to Support Debugging. 79-86
  Electronic Edition (link) BibTeX
• Sarah Mallet, Mireille Ducassé:
  DDB Trees: A Basis for Deductive Database Explanations. 87-102
  Electronic Edition (link) BibTeX

Invited Speaker

• Massimo Fabris:
  Constraint Programs Debugging: Current Activities Inside the DiSCiPl Esprit Program. 103-122
  Electronic Edition (link) BibTeX

Diagnosis of Constraint Programs

• Johan Boye, Wlodzimierz Drabent, Jan Maluszynski:
  Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach. 123-140
  Electronic Edition (link) BibTeX
• Gérard Ferrand, Alexandre Tessier:
  Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons. 141-153
  Electronic Edition (link) BibTeX

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
  Electronic Edition (link) BibTeX

Position Papers

• Simon P. Booth, Simon B. Jones:
  Walk Backwards to Happiness - Debugging by Time Travel. 171-183
  Electronic Edition (link) BibTeX
• Thomas R. Gross:
  Bisection Debugging. 185-191
  Electronic Edition (link) BibTeX
• David Byers, Mariam Kamkar:
  A Hybrid Approach to Propagation Analysis. 193-197
  Electronic Edition (link) BibTeX