Detecting race conditions in large programs (2001)

by C Flanagan, S N Freund
Venue:In: Proc. of the Program Analysis for Software Tools and Engineering Conference