王渊峰 钱乐秋 赵文耘 朱三元 朱洪 张为公 丁文 马承广

分段梯度最优下降算法 操作级别 软件测试 NP难 效率补偿 扩展有限状态机 弱集合b-覆盖 控制流图

上海计算机软件中心 复旦大学计算机科学系 复旦大学计算机科学与工程系 东南大学仪器科学与工程学院 南京汽车集团汽车工程研究院 复旦大学计算机科学与工程系软件工程实验室 复旦大学计算机科学与工程系智能信息处理实...