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

安全性分析 区间运算 数据流 缺陷模式 测试充分性 静态分析 汇编语言 不确定推理

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