Runtime analysis of atomicity for multithreaded programs. (2006)

by Liqiang Wang, Scott D Stoller
Venue:IEEE Transactions on Software Engineering,