Racerx: effective, static detection of race conditions and deadlocks (0)

by D Engler, K Ashcraft
Venue:SIGOPS Oper. Syst. Rev