"Detecting High-Level Synchronization Errors in Parallel Programs."

Syed Aoun Raza, Stefan Franke, Erhard Ploedereder (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics