| 1 | -- | 0 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko. Preface |
| 3 | -- | 19 | Sergiy Boroday, Alexandre Petrenko, Roland Groz. Can a Model Checker Generate Tests for Non-Deterministic Systems? |
| 21 | -- | 32 | Frédéric Dadeau, Yves Ledru, Lydie du Bousquet. Measuring a Java Test Suite Coverage Using JML Specifications |
| 33 | -- | 46 | Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa. Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers |
| 47 | -- | 59 | Anders Hessel, Paul Pettersson. A Global Algorithm for Model-Based Test Suite Generation |
| 61 | -- | 72 | Maik Kollmann, Yuen Man Hon. Generating Scenarios by Multi-Object Checking |
| 73 | -- | 84 | Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti. A Case Study in Matching Test and Proof Coverage |
| 85 | -- | 97 | Martin Ouimet, Kristina Lundqvist. Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver |
| 99 | -- | 111 | Ana Paiva, João C. P. Faria, Raul F. A. M. Vidal. Towards the Integration of Visual and Formal Models for GUI Testing |
| 113 | -- | 125 | Franco Raimondi, Charles Pecheur, Guillaume Brat. Testing Planning Domains (without Model Checkers) |