Avio: detecting atomicity violations via access interleaving invariants. (2006)

by S LU, J TUCEK, F QIN, Y ZHOU
Venue:In Proceedings of the 12th international conference on Architectural support for