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
Issue:001
Language:English
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

Contents


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

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

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

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

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

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

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

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

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

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

001:010
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. Tessier
Constraint Programs Debugging: Current Activities Inside the DiSCiPl Esprit Program
[Abstract and Fulltext]

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

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

001:013
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]

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

001:015
Thomas Gross
Bisection Debugging
[Abstract and Fulltext]

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

Year:1997
No. of pages:197
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ea/cis/1997/009/cis97009-ecp9701.pdf
Available:1997-09-10
Publisher:Linköping University Electronic Press; Linköpings universitet

REFERENCE TO THIS PAGE
Mariam Kamkar (1997). Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97) http://www.ep.liu.se/ecp_home/index.en.aspx?issue=001 (10/26/2014)