Lixin Cao, Wei Zheng, Desheng Hu, Han Bai. Concurrent program semantic mutation testing based on abstract memory model. In IEEE International Conference on Information and Automation, ICIA 2015, Lijiang, China, August 8-10, 2015. pages 1200-1205, IEEE, 2015. [doi]
Abstract is missing.