Ben-Asher, Yosi; Eytani, Yaniv; Farchi, Eitan; Ur, Shmuel (2006-02)
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manifest itself. This work explores the theory ...