Race directed random testing of concurrent programs (2008)

by K Sen
Venue:In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI