Mutation Testing: Principal, Optimization and Application
CHEN Xiang, GU Qing
Journal of Frontiers of Computer Science and Technology . 2012, (12): 1057 -1075 .  DOI: 10.3778/j.issn.1673-9418.2012.12.001