王涛 姜云飞 张朝辉 publicccjlcn 林海 冯果忱 孙吉贵

鉴别测试 替换测试 判定测试 判定扩充 分解 元件替换 有条件可分解诊断问题 测试

吉林长春 吉林大学计算机科学系 中山大学计算机软件所 中山大学计算机软件研究所 吉林大学计算机科学与技术学院 长春工业大学计算机科学与工程学院 吉林长春130012吉林大学数学研究所吉... 符号计算与知工程教育部重点实验室（吉林大...