A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques
Instrumentation and sampling strategies for cooperative concurrency bug isolation