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 (PADTAD, 2009)