[linuxkernelnewbies] 3. AADEBUG 1995: Linköping, Swe den

[Peter Teoh]

http://www.sigmod.org/dblp/db/conf/aadebug/aadebug97.html 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