ISSTA 2013: Lugano, Switzerland

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics