Randomized active atomicity violation detection in concurrent programs

Chang-Seo Park, Koushik Sen. Randomized active atomicity violation detection in concurrent programs. In Mary Jean Harrold, Gail C. Murphy, editors, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008. pages 135-145, ACM, 2008. [doi]

@inproceedings{ParkS08,
  title = {Randomized active atomicity violation detection in concurrent programs},
  author = {Chang-Seo Park and Koushik Sen},
  year = {2008},
  doi = {10.1145/1453101.1453121},
  url = {http://doi.acm.org/10.1145/1453101.1453121},
  researchr = {https://researchr.org/publication/ParkS08},
  cites = {0},
  citedby = {0},
  pages = {135-145},
  booktitle = {Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008},
  editor = {Mary Jean Harrold and Gail C. Murphy},
  publisher = {ACM},
  isbn = {978-1-59593-995-1},
}