1. Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm

   • Raúl Monroy

   OriginalPaper Pages: 247 - 269

2. User Interface Reverse Engineering in Support of Interface Migration to the Web

   • E. Stroulia
   • M. El-Ramly
   • P. Sorenson

   OriginalPaper Pages: 271 - 301

3. Desert Island

   • John Grundy

   Legacy Pages: 303 - 304