ISSTA 2007: London, UK

Debugging

Model checking and components

Empirical studies of testing approaches

Hybrid analysis

Testing

Static analysis

Dynamic analysis

Fault localization

maintained by Schloss Dagstuhl LZI at University of Trier