1. Introduction

   • Mireille Ducassé

   Legacy Pages: 119 - 120

2. The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging

   • Henrik Nilsson
   • Jan Sparud

   OriginalPaper Pages: 121 - 150

3. Algorithmic Debugging and Hypothetical Reasoning

   • Clemens Beckstein
   • Gerhard Tobermann

   OriginalPaper Pages: 151 - 178

4. High-Level Views of Distributed Executions: Convex Abstract Events

   • Thomas Kunz

   OriginalPaper Pages: 179 - 197

5. META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems

   • Michael R. Lowry
   • Jeffrey Van Baalen

   OriginalPaper Pages: 199 - 241

6. Desert Island Column

   • Shari Lawrence Pfleeger

   OriginalPaper Pages: 243 - 245