Approach of Mutation Test Case Generation Based on Model Checking
YANG Hong, HONG Mei, QU Yuan-yuan
Computer Science . 2018, (11A): 488 -493 .