Jacob Burnim, Koushik Sen, Christos Stergiou. Testing concurrent programs on relaxed memory models. In Matthew B. Dwyer, Frank Tip, editors, Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011. pages 122-132, ACM, 2011. [doi]
Abstract is missing.