Forcing small models of conditions on program interleaving for detection of concurrent bugs.

Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, Eitan Farchi

Browse the full ISSTA paper archive.