刘海燕 宫云战 毕学军 肖庆 蔡红柳 江标 吕昌龄 王雅文 马丹

安全性分析 区间运算 数据流 缺陷模式 测试充分性 静态分析 汇编语言 不确定推理 非法计算 可信度 故障模型 静态测试 网络脆弱性 状态机 故障模式 数据流测试 软件测试 空指针引用

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