AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants
A serializability violation detector for shared-memory server programs