Detecting Race Conditions in Large Programs (2001)

by Cormac Flanagan, Stephen N. Freund
Venue:PASTE'01