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

by D Engler, K Ashcraft
Venue:In Proceedings of the nineteenth ACM symposium on Operating systems principles