李晓维 张威 高文玲 王雅文 高文龄 金大海 卢庆龄 白哥乐 鲁汉榕 徐如燕 肖庆 万琳 杨朝红 何蓉晖 张惠民 李华伟 谈利群 李梅 江标 高传平 郑广 张月 王德胜 赵鹏宇 杨洪路 曹文静

语法树 整型区间集 软件安全 状态机 检测概率 串扰 强一度 软件测试 模式分析 元组空间 测试性计算 控制流图 故障模型 空指针引用 软件测试性 数据流分析 低功耗设计 静态测试方法 基于错误的测试方法 静态测试 内建自测试 算法 指针分析 关联规则 安全测试 内存泄漏 最少谓词路径 Java 测试产生器 数组越界

北京邮电大学网络与交换技术国家重点实验室 武汉空军雷达学院指挥自动化系 中国科学院计算技术研究所信息网络研究室 北京装甲兵工程学院 中国科学院计算技术研究所 北京装甲兵工程学院信息工程系 装甲兵工程学院信息工程系 电子工业出版社