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

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