Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk. Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools. In Jeremy S. Bradbury, Simone do Rocio Senger de Souza, editors, Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012, Minneapolis, MN, USA, July 16, 2012. pages 25-35, ACM, 2012. [doi]
Abstract is missing.