| 1 | -- | 0 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko. Preface |
| 3 | -- | 14 | Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet. Coverage-biased Random Exploration of Models |
| 15 | -- | 27 | Achim D. Brucker, Lukas Brügger, Burkhart Wolff. Verifying Test-Hypotheses: An Experiment in Test and Proof |
| 29 | -- | 41 | Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. j-POST: a Java Toolchain for Property-Oriented Software Testing |
| 43 | -- | 61 | Claudia Pons, Diego García. A Lightweight Approach for the Semantic Validation of Model Refinements |
| 63 | -- | 77 | Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa. Improving Fault-based Conformance Testing |
| 79 | -- | 92 | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen. Cooperative Testing of Timed Systems |
| 93 | -- | 104 | Jan Jürjens. Model-based Security Testing Using UMLsec: A Case Study |