@inproceedings{4475f107e5424ee5abd1e07fa0f65bbc,
title = "Producing scheduling that causes concurrent programs to fail",
abstract = "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 and practice of choosing where in the program to induce such thread switches at runtime. We introduce a novel fault model that classifies locations as {"}good{"}, {"}neutral{"}, or {"}bad,{"} based on the effect of a thread switch at the location. We validate our approach by experimenting with a set of programs taken from publicly available multi-threaded benchmark. Our empirical evidence demonstrates that real-life behavior is similar to that derived from the model.",
keywords = "Experimentation, Reliability, Verification",
author = "Yosi Ben-Asher and Yaniv Eytani and Eitan Farchi and Shmuel Ur",
year = "2006",
doi = "10.1145/1147403.1147410",
language = "English",
isbn = "1595934146",
series = "Proceeding of the 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD '06",
pages = "37--39",
booktitle = "Proceeding of the 2006 Workshop on Parallel and Distributed Systems",
note = "2006 Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD '06 ; Conference date: 17-07-2006 Through 17-07-2006",
}