JaDaRD: java data-race detector.

Filip Vorcek, Zdenek Troncek

Browse the full OOPSLA paper archive.