JaDaRD: java data-race detector. - Filip Vorácek; Zdenek Tronícek (SPLASH, 2012)