DMCA

Atomizer: a dynamic atomicity checker for multithreaded programs (2004)

by Cormac Flanagan , Stephen N. Freund
Venue:In POPL
Citations:238 - 14 self