GAMBIT: effective unit testing for concurrency libraries (0)

by K E Coons, S Burckhardt, M Musuvathi
Venue:in PPOPP, 2010