AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants
Tracking down software bugs using automatic anomaly detection