Finding concurrency-related bugs using random isolation. (2009)

by N Kidd, T W Reps, J Dolby, M Vaziri
Venue:In Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI),