@article{DBLP:journals/topc/ThomsonDB16,
author = {Paul Thomson and
Alastair F. Donaldson and
Adam Betts},
title = {Concurrency Testing Using Controlled Schedulers: An Empirical Study},
journal = {{ACM} Trans. Parallel Comput.},
volume = {2},
number = {4},
pages = {23:1-23:37},
year = {2016},
doi = {10.1145/2858651},
}