RacerX: effective, static detection of race conditions and deadlocks

Dawson R. Engler, Ken Ashcraft. RacerX: effective, static detection of race conditions and deadlocks. In Michael L. Scott, Larry L. Peterson, editors, Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, SOSP 2003, Bolton Landing, NY, USA, October 19-22, 2003. pages 237-252, ACM, 2003. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.