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

Jie Yu et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics