ISSTA 2009: Chicago, IL, USA

Static analysis and verification

Testing #1

Empirical studies

Testing and analysis tools #1

Fault localization

Testing #2

Testing and analysis tools #2

Domain-specific testing techniques