GAMBIT: effective unit testing for concurrency libraries (2010)

by K E Coons, S Burckhardt, M Musuvathi
Venue:In Symposium on Principles and Practice of Parallel Programming, (PPOPP