ISSTA 2008: Seattle, WA, USA

Keynote

Symbolic and concrete execution

Regression testing

Case studies

Keynote

Metrics and threads

Fault localization

Static analysis

Web and security

Inference

Workshops

maintained by Schloss Dagstuhl LZI at University of Trier