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]
@inproceedings{CaoZHB15,
title = {Concurrent program semantic mutation testing based on abstract memory model},
author = {Lixin Cao and Wei Zheng and Desheng Hu and Han Bai},
year = {2015},
doi = {10.1109/ICInfA.2015.7279469},
url = {https://doi.org/10.1109/ICInfA.2015.7279469},
researchr = {https://researchr.org/publication/CaoZHB15},
cites = {0},
citedby = {0},
pages = {1200-1205},
booktitle = {IEEE International Conference on Information and Automation, ICIA 2015, Lijiang, China, August 8-10, 2015},
publisher = {IEEE},
isbn = {978-1-4673-9104-7},
}