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 at University of Trier