A platform for search-based testing of concurrent software.

Bohuslav Krena, Zdenek Letko, Toms Vojnar, Shmuel Ur

Browse the full ISSTA paper archive.