AVIO: Detecting Atomicity Violations via Access Interleaving Invariants (2006)

by Shan Lu , Joseph Tucek , Feng Qin , Yuanyuan Zhou
Venue:In ASPLOS
Citations:132 - 22 self