"Scaling model checking of dataraces using dynamic information."

Ohad Shacham, Mooly Sagiv, Assaf Schuster (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics