A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques
Race directed random testing of concurrent programs