Koushik Sen. Race directed random testing of concurrent programs. In Rajiv Gupta, Saman P. Amarasinghe, editors, Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008. pages 11-21, ACM, 2008. [doi]
Abstract is missing.