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]
No references recorded for this publication.
No citations of this publication recorded.