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]

Bibliographies