王渊峰 钱乐秋 赵文耘 朱三元 朱洪 张为公 丁文 马承广 吴海啸 孙跃勇 薛云皎

分段梯度最优下降算法 操作级别 软件测试 NP难 效率补偿 扩展有限状态机 弱集合b-覆盖 控制流图 数据流分析 软件度量 XML 树匹配 金属带式无级变速器 构件描述 软件复用 操作调用序列 速比控制 项目管理 操作调用图 近似算法 有限状态机 区间削减 测试输入序列选取 规约说明 测试输入数据自动选取 构件检索 构件库 定义-引用对 集合击中 可复用构件

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