ISSTA 2010: Trento, Italy

Technical session 1: formal verification and analysis

Technical session 2: debugging

Technical session 3: mining and taxonomies

Technical session 4: anomaly detection

Doctoral symposium

Technical session 5: test input generation and fuzzing

Technical session 6: symbolic execution

Technical session 7: empirical studies

Technical session 8: concurrency and differential testing

Formal demos