江标 宫云战 郑广 肖庆 蔡红柳 王雅文 张威 金大海

非单调逻辑 软件测试 非法外联 空间分解 区间运算 内网 静态分析 单性空间覆盖率

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