S.: Atomizer: A dynamic atomicity checker for multithreaded programs (2008)

by C Flanagan, Freund
Venue:Sci. Comput. Program