基于模型检测技术的变异测试用例生成方法

基于模型检测技术的变异测试用例生成方法

杨红, 洪玫, 屈媛媛

Approach of Mutation Test Case Generation Based on Model Checking

YANG Hong, HONG Mei, QU Yuan-yuan

计算机科学 . 2018, (11A): 488 -493 .