1. Introduction

   • Wolfgang Emmerich
   • David Wile

   OriginalPaper Pages: 391 - 392

2. Automated Procedure Construction for Deductive Synthesis

   • Steve Roach
   • Jeffrey Van Baalen

   OriginalPaper Pages: 393 - 414

3. Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications

   • Robert J. Hall

   OriginalPaper Pages: 415 - 446

4. Tool-Supported Verification of Product Line Requirements

   • Prasanna Padmanabhan
   • Robyn R. Lutz

   OriginalPaper Pages: 447 - 465