Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri. Finding concurrency-related bugs using random isolation. STTT, 13(6):495-518, 2011. [doi]
@article{KiddRDV11, title = {Finding concurrency-related bugs using random isolation}, author = {Nicholas Kidd and Thomas W. Reps and Julian Dolby and Mandana Vaziri}, year = {2011}, doi = {10.1007/s10009-011-0197-7}, url = {http://dx.doi.org/10.1007/s10009-011-0197-7}, researchr = {https://researchr.org/publication/KiddRDV11}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {13}, number = {6}, pages = {495-518}, }