ISSTA 2011: Toronto, ON, Canada

Test generation I

Models

Analysis of systems and binary code

Concurrency

Program analysis

Faults I

Combinatorial and random testing

Specification and optimization

Faults II

Test generation II

a service of Schloss Dagstuhl - Leibniz Center for Informatics