Race directed random testing of concurrent programs (2008)

by K Sen
Venue:in Proceedings of ACM SIGPLAN conference on Programming language design and implementation (PLDI