Maple: a coverage-driven testing tool for multithreaded programs.

Jie Yu, Satish Narayanasamy, Cristiano Pereira, Gilles Pokam

Browse the full OOPSLA paper archive.