Finding concurrency-related bugs using random isolation

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