This volume contains the papers that were accepted for presentation at AADEBUG'97, the Third International Workshop on Automated Debugging, held in Linköping, Sweden, May 26–27, 1997.
    The area referred to as automated debugging has seen major developments over the last decade. The goal of the workshop was to bring together researchers from different areas of automated debugging and different programming communities to exchange ideas and advance the state of the art of automated debugging. A total of 20 papers were submitted to the workshop. Of these 11 were accepted for presentation, and 3 as position papers.
    The workshop addresses advances in run-time checking, debugging optimized code, program slicing, software testing, knowledge-based debugging, and diagnosis of constraint programs.
    On behalf of the Program Committee, I would like to thank all those who submitted papers to AADEBUG'97. Thanks also go to the Program Committee and others who helped in reviewing and evaluating the papers. Also, special thanks to the invited keynote speakers, Vijay K. Garg and Massimo Fabris. Last but not the least, the effort of all those who helped in organizing the workshop in one way or another, in particular Nahid Shahmehri, Henrik Nilsson, and David Byers, are gratefully acknowledged.

General Information About the Proceedings

Linköping University Electronic Press is committed to keeping the present set of articles on-line and available to the scientific community for 25 years from the date of publication. The copyright of each article remains with the author or authors. Each individual article and the complete proceedings volume may be printed and used freely for academic purposes. The "title pages" mentioned below also contain the details of document preservation and copyright.

The first column in the table below indicates the article's serial number, the second column its starting page in the proceedings. Clicking the serial number leads to the article's URL and electronic front page, as maintained by the E-Press. For example, the URL of article number 2 is

http://www.ep.liu.se/ea/cis/1997/009/02/

When citing an article in this proceedings, either on paper or electronically, it is strongly recommended to use the article's URL. It will continue to be valid even after possible format changes.

Table of contents

Program Committee
Origional Call for Papers
About the Conference: Other AADEBUG Workshops

00
Mariam Kamkar
Preface (with proceedings front matter)
[Abstract and Fulltext]

Invited speaker

01
Vijay K. Garg
Observation and Control for Debugging Distributed Computations
[Abstract and Fulltext]

Run-Time Checking and Debugging Optimized Code

02
Richard W.M. Jones and Paul H.J. Kelly
Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs
[Abstract and Fulltext]

03
Kim Elms
Debugging Optimised Code Using Function Interpretation
[Abstract and Fulltext]

04
Mikhail Auguston and Miu Har Hon
Assertions for Dynamic Shape Analysis of List Data Structures
[Abstract and Fulltext]

Program Slicing and Software Testing

05
Bogdan Korel and Jurgen Rilling
Application of Dynamic Slicing in Program Debugging
[Abstract and Fulltext]

06
Yoga Sivagurunathan, Mark Harman and Sebastian Danicic
Slicing, I/O and the Implicit State
[Abstract and Fulltext]

07
David Byers, Magnus Engström and Mariam Kamkar
The Design of a Test Case Definition Language
[Abstract and Fulltext]

Knowledge-Based Debugging

08
Adele E. Howe and Gabriel Somlo
Modeling Intelligent System Execution as State Transition Diagrams to Support Debugging
[Abstract and Fulltext]

09
Sarah Mallet and Mireille Ducassé
DDB Trees: A Basis for Deductive Database Explanations
[Abstract and Fulltext]

Invited Speaker

10
A. Aggoun, F. Bueno, M. Carro, P.Deransart, M. Fabris, W. Drabent, G. Ferrand, M. Hermenegildo, C. Lai, J. Lloyd, J. Maluszynski, G. Puebla and A. Tessier
Constraint Programs Debugging: Current Activities Inside the DiSCiPl Esprit Program
[Abstract and Fulltext]

Diagnosis of Constraint Programs

11
Johan Boye, Wlodek Drabent and Jan Maluszynski
Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach
[Abstract and Fulltext]

12
Gérard Ferrand and Alexandre Tessier
Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons
[Abstract and Fulltext]

Invited Paper

13
F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszynski and G. Puebla
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs
[Abstract and Fulltext]

Position Papers

14
Simon P. Booth and Simon B. Jones
Walk Backwards to Happiness -- Debugging by Time Travel
[Abstract and Fulltext]

15
Thomas Gross
Bisection Debugging
[Abstract and Fulltext]

16
David Byers and Mariam Kamkar
A Hybrid Approach to Propagation Analysis
[Abstract and Fulltext]