丁雪梅 高海昌 闻育 郝克刚 伦立军 李暾 万海 李英梅 李平 ）郭阳 高保强 冷彪 肖驰 马广英 李思昆 顾刚 赵辰光 张自鲁 李克文 施冬梅 郭斌 侯芸

功能指标 软件测试 DDGRAPH图 交通观测点 整数规划 控制流程图 支配树 工作流管理系统 约束逻辑求解 非限制弧 蕴含树 βbranch 模拟矢量自动生成 OD矩阵估计 状态图 程序插桩 Ddgraph VLSI 性能指标 自动化测试 决策图模型 混合算法 缺陷