| 1 | -- | 0 | Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko. Preface |
| 3 | -- | 17 | Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu. Handling State-Machines Specifications with GATeL |
| 19 | -- | 35 | Winfried Dulz, Stefan Holpp, Reinhard German. A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models |
| 37 | -- | 52 | Malte Lochau, Ursula Goltz. Feature Interaction Aware Test Case Generation for Embedded Control Systems |
| 53 | -- | 68 | Petur Olsen, Kim G. Larsen, Arne Skou. Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases |
| 69 | -- | 84 | Olaf Owe, Martin Steffen, Arild B. Torjusen. Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting |
| 85 | -- | 99 | Jan Tretmans, Florian Prester, Philipp Helle, Wladimir Schamai. Model-Based Testing 2010: Short Abstracts |