GAMBIT: effective unit testing for concurrency libraries.

Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi

Browse the full PPoPP paper archive.