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]
Abstract is missing.