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

Lazyness and Delays

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

Slicing

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

Education

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

Hardware

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

Assertions

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

Model-Based Diagnosis

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

Algorithmic Degugging

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

Distributed and Concurrent Debugging

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

Event Analysis

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

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
Dean Allemang: Using Functional Representations for Program Debugging. 311-312
Peter Rüppel: A Class Library for the Automization of Class Testing. 313-314
Michael Oberhuber: Elimination of Nondeterminacy for Testing and Debugging Parallel Programs. 315-316
Eui Hyun Paik, Young-Sik Chung, YoungJoon Byun, Wan Choi, Byung-Sun Lee: CHD: A Cross Debugger for Concurrent CHILL Programs. 317-318