齐治昌 孙家骕 刘江红 高友峰 张路 吴建平 王戟 刘明浩

软件测试 变异测试 测试数据自动生成 测试数据 数据流分析 变异体 路径测试 充分性准则

国防科学技术大学计算机学院 北京大学信息科学技术学院软件研究所 北京100871兰州市27支局15信箱1...