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

by D Engler, K Ashcraft
Venue:In Proceedings of the Nineteenth Annual ACM Symposium on Operating Systems Principles