30th ICSE 2008 / AST 2008: Leipzig, Germany

Model-Based Testing

Test Generation

Instrumentation, Frames, Automation

Evaluation and Simulation

maintained by Schloss Dagstuhl LZI at University of Trier