Concurrency testing using schedule bounding: an empirical study
@inproceedings{DBLP:conf/ppopp/ThomsonDB14,
author = {Paul Thomson and
Alastair F. Donaldson and
Adam Betts},
editor = {Jos{\'{e}} E. Moreira and
James R. Larus},
title = {Concurrency testing using schedule bounding: an empirical study},
booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP '14, Orlando, FL, USA, February 15-19, 2014},
pages = {15-28},
publisher = {{ACM}},
year = {2014},
doi = {10.1145/2555243.2555260},
}