金大海 王雅文 焦健 杨朝红 张威 宫云战 卢庆龄 郝娜 万琳 毕学军

最少谓词路径 静态分析 分支冲突 缺陷检测 蜂群算法 DII 空指针引用 区间运算 蚁群算法 CORBA agent旅行问题 数据流分析 移动agent 程序分析 不可达路径 状态机 软件测试 缺陷模式 路径敏感 Java

装甲兵工程学院信息工程系 北京邮电大学网络与交换技术国家重点实验室 装甲兵工程学院计算机应用室