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