139-141
Special section on tools and algorithms for the construction and analysis of systems
Preface by the section editor
Susanne Graf
142-152
Special section on tools and algorithms for the construction and analysis of systems
Using static analysis to improve automatic test generation
Marius Bozga, Jean-Claude Fernandez and Lucian Ghirvu
153-172
Special section on tools and algorithms for the analysis of systems
A tool for model-checking Markov chains
Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser and Markus Siegle
173-188
Special section on tools and algorithms for the construction and analysis of systems
Efficient verification of security protocols using partial-order reductions
Edmund Clarke, Somesh Jha and Will Marrero
189-210
Special section on tools and algorithms for the analysis of systems
The PROSPER toolkit
Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton and Konrad Slind, et al.