4. FATES 2004: Linz, Austria

Symbolic Test Generation

Testing Non-functional Properties

Test Development with Model Checking Techniques

Test Optimization

a service of Schloss Dagstuhl - Leibniz Center for Informatics