4. FATES 2004: Linz, Austria

Symbolic Test Generation

Testing Non-functional Properties

Test Development with Model Checking Techniques

Test Optimization

maintained by Schloss Dagstuhl LZI, founded at University of Trier