ISSTA 2012: Minneapolis, MN, USA

Dynamic Analysis

Web Applications

Test Generation

Security

Symbolic Execution

Empirical Studies

Concurrency

Static Analysis

Bug Detection and Diagnosis

Regression Testing