Race directed random testing of concurrent programs (2008)

by Koushik Sen
Venue:In PLDI '08: Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation