RacerX: Effective, Static Detection of Race Conditions and Deadlocks (2003)

by Dawson Engler , Ken Ashcraft
Venue:SOSP'03
Citations:240 - 2 self