1. Guest Editorial

   • Anna Liu
   • Paddy Nixon

   Editorial Introduction Pages: 239 - 240

2. χSuds-SDL: A Tool for Testing Software Architecture Specifications

   • J. Jenny Li
   • J. Robert Horgan

   OriginalPaper Pages: 241 - 253

3. A Design Phase Directed Formal Verification Process

   • John A. Keane
   • Walter Hussak

   OriginalPaper Pages: 255 - 269

4. An Experience in Testing an Object-Oriented Satellite Control System

   • Ana Maria Ambrosio
   • Luciana Seda C. Gonçalves
   • Paulo Eduardo Cardoso

   OriginalPaper Pages: 271 - 283

5. Mutation Testing Applied to Estelle Specifications

   • Simone do Rocio Senger de Souza
   • José Carlos Maldonado
   • Wanderley Lopes de Souza

   OriginalPaper Pages: 285 - 301

6. ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems

   • Eliane Martins
   • Selma B. Sabião
   • Ana Maria Ambrosio

   OriginalPaper Pages: 303 - 320

7. On Verifying Distributed Multithreaded Java Programs

   • Jessica Chen

   OriginalPaper Pages: 321 - 341