Runtime analysis of atomicity for multithreaded programs (2006)

by L Wang, S D Stoller
Venue:IEEE Transactions on Software Engineering