"Iterative context bounding for systematic testing of multithreaded programs."

Madanlal Musuvathi, Shaz Qadeer (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics