@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},
}