Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools.

Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk

Browse the full ISSTA paper archive.