Files:DescriptionFile size Format
Fulltext2.95 MBPDF (requires Acrobat Reader)
Editors:Mariam Kamkar
Conference:Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)
Publication type: Conference proceedings
Introduction:This volume contains the papers that were accepted for presentation at AADEBUG97; 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 AADEBUG97. 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.

Linköping; May 1997

Mariam Kamkar


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

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

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

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

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

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

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

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

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

Sarah Mallet, Mireille Ducaßé
DDB Trees: A Basis for Deductive Database Explanations
[Abstract and Fulltext]

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

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

Gérard Ferrand, Alexandre Teßier
Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons
[Abstract and Fulltext]

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

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

Thomas Groß
Bisection Debugging
[Abstract and Fulltext]

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

No. of pages:197
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
Publisher:Linköping University Electronic Press; Linköpings universitet

Mariam Kamkar (1997). Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97) (3/28/2015)