30th ICSE 2008 / AST 2008: Leipzig, Germany

Model-Based Testing

Test Generation

Instrumentation, Frames, Automation

Evaluation and Simulation

maintained by Schloss Dagstuhl LZI, founded at University of Trier