Abstract is missing.
- Replaying Distributed ExecutionsEddy Fromentin, Noël Plouzeau, Michel Raynal. 1-18
- The Architecture of a Debugger for Lazy Functional LanguagesJan Sparud, Henrik Nilsson. 19-34
- Debugging in GAPLog: A Model for Execution of Logic Programs with Delayed Function CallsTim Heyer. 35-50
- Evaluation of Program Slicing toolsTommy Hoffner, Mariam Kamkar, Peter Fritzson. 51-69
- Computation Of Dynamic Slices For Programs With Arbitrary Control-FlowBogdan Korel. 71-86
- Static Slicing of Logic ProgramsTibor Gyimóthy, Jukka Paakki. 87-103
- Transparency Debugging with Explanations for Novice ProgrammersPhilip A. Smith, Geoffrey I. Webb. 105-118
- Efficient Run-time Monitoring Using Shadow ProcessingHarish Patil, Charles N. Fischer. 119-132
- Software Testability Measurement for Assertion Placement and Fault LocalizationJeffrey M. Voas. 133-144
- Functional Diagnosis of Sequential ProgramsBeat Liver. 145-157
- Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic ProgramsMarco Comini, Giorgio Levi, Giuliana Vitiello. 159-174
- Algorithmic Debugging with RISCGerhard Tobermann, Clemens Beckstein. 175-190
- An Algorithmic Fault-Locating Method for Procedural Languages and Its Implementation FINDTakao Shimomura, Y. Oki, T. Chikaraishi, T. Ohta. 191-203
- High-Level Views of Distributed ExecutionsThomas Kunz. 205-219
- Recognition of Patterns on Control Flows for Debugging Distributed ExecutionsEddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal. 221-232
- A Consistent Global State Algorithm to Debug Distributed Object-Oriented ApplicationsP. Placide, Gerard Florin, Laurence Duchien, Lionel Seinturier. 233-247
- Testing Techniques for Data-Flow Synchronous ProgramsFarid Ouabdesselam, Ioannis Parissis. 249-260
- Formally Defining Debuggers: A Comparison of Three ApproachesKaren L. Bernstein, Eugene W. Stark. 261-275
- Program Behavior Model Based on Event Grammar and its Application for Debugging AutomationMikhail Auguston. 277-291
- Automated Debugging Extensions of the Opium Trace AnalyserMireille Ducassé. 293-308
- AUI - the Debugger and Assertion Checker for the Awk Programming LanguageMikhail Auguston, Subhankar Banerjee, Manish Mamnani, Ghulam Nabi, Juris Reinfelds, Ugis Sarkans, Ivan Strnad. 309-310
- Using Functional Representations for Program DebuggingDean Allemang. 311-312
- A Class Library for the Automization of Class TestingPeter Rüppel. 313-314
- Elimination of Nondeterminacy for Testing and Debugging Parallel ProgramsMichael Oberhuber. 315-316
- CHD: A Cross Debugger for Concurrent CHILL ProgramsEui Hyun Paik, Young-Sik Chung, YoungJoon Byun, Wan Choi, Byung Sun Lee. 317-318