Race directed random testing of concurrent programs
Type-based race detection for Java