Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi: GAMBIT: effective unit testing for concurrency libraries. PPoPP 2010: 15-24