Jbench: a dataset of data races for concurrency testing.

Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Xian Zhang

Browse the full MSR paper archive.