2. AADEBUG 1995: Saint Malo, France

Mireille Ducassé (Ed.): AADEBUG, 2nd International Workshop on Automated and Algorithmic Debugging, May 22-24, 1995, Saint Malo, France, Proceedings. IRISA-CNRS, 1995

Invited Talk

Eddy Fromentin, Noël Plouzeau, Michel Raynal: Replaying Distributed Executions. 1-18 BibTeX

Lazyness and Delays

Jan Sparud, Henrik Nilsson: The Architecture of a Debugger for Lazy Functional Languages. 19-34 BibTeX
Tim Heyer: Debugging in GAPLog: A Model for Execution of Logic Programs with Delayed Function Calls. 35-50 BibTeX

Slicing

Tommy Hoffner, Mariam Kamkar, Peter Fritzson: Evaluation of Program Slicing tools. 51-69 BibTeX
Bogdan Korel: Computation Of Dynamic Slices For Programs With Arbitrary Control-Flow. 71-86 BibTeX
Tibor Gyimóthy, Jukka Paakki: Static Slicing of Logic Programs. 87-103 BibTeX

Education

Philip A. Smith, Geoffrey I. Webb: Transparency Debugging with Explanations for Novice Programmers. 105-118 BibTeX

Hardware

Harish Patil, Charles N. Fischer: Efficient Run-time Monitoring Using Shadow Processing. 119-132 BibTeX

Assertions

Jeffrey M. Voas: Software Testability Measurement for Assertion Placement and Fault Localization. 133-144 BibTeX

Model-Based Diagnosis

Beat Liver: Functional Diagnosis of Sequential Programs. 145-157 BibTeX

Algorithmic Degugging

Marco Comini, Giorgio Levi, Giuliana Vitiello: Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. 159-174 BibTeX
Gerhard Tobermann, Clemens Beckstein: Algorithmic Debugging with RISC. 175-190 BibTeX
Takao Shimomura, Y. Oki, T. Chikaraishi, T. Ohta: An Algorithmic Fault-Locating Method for Procedural Languages and Its Implementation FIND. 191-203 BibTeX

Distributed and Concurrent Debugging

Thomas Kunz: High-Level Views of Distributed Executions. 205-219 BibTeX
Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal: Recognition of Patterns on Control Flows for Debugging Distributed Executions. 221-232 BibTeX
P. Placide, Gerard Florin, Laurence Duchien, Lionel Seinturier: A Consistent Global State Algorithm to Debug Distributed Object-Oriented Applications. 233-247 BibTeX
Farid Ouabdesselam, Ioannis Parissis: Testing Techniques for Data-Flow Synchronous Programs. 249-260 BibTeX

Event Analysis

Karen L. Bernstein, Eugene W. Stark: Formally Defining Debuggers: A Comparison of Three Approaches. 261-275 BibTeX
Mikhail Auguston: Program Behavior Model Based on Event Grammar and its Application for Debugging Automation. 277-291 BibTeX
Mireille Ducassé: Automated Debugging Extensions of the Opium Trace Analyser. 293-308 BibTeX

Poster Session

Mikhail Auguston, Subhankar Banerjee, Manish Mamnani, Ghulam Nabi, Juris Reinfelds, Ugis Sarkans, Ivan Strnad: AUI - the Debugger and Assertion Checker for the Awk Programming Language. 309-310 BibTeX
Dean Allemang: Using Functional Representations for Program Debugging. 311-312 BibTeX
Peter Rüppel: A Class Library for the Automization of Class Testing. 313-314 BibTeX
Michael Oberhuber: Elimination of Nondeterminacy for Testing and Debugging Parallel Programs. 315-316 BibTeX
Eui Hyun Paik, Young-Sik Chung, YoungJoon Byun, Wan Choi, Byung-Sun Lee: CHD: A Cross Debugger for Concurrent CHILL Programs. 317-318 BibTeX