ISSTA 2013: Lugano, Switzerland

Contracts, Invariants, and Stability

Fuzzing and GUI Testing

Analysis and Testing of Non-functional Properties

Heap Analysis and Testing

Races and Multi-threaded Analysis and Testing

Localisation, Patching, and Repair

Mutating and Mocking

Learning, Optimizing, and Searching

Whitebox Testing

Web-Based Analysis and Testing

Temporal Properties and Concurrency

Performance and Databases

Formal Verification

maintained by Schloss Dagstuhl LZI, founded at University of Trier