宫云战 马丹 王雅文 杨朝红 张威 毕学军 马雪雁 王晓卫 陈曼青 卢庆龄 刘海燕 张惠民

知识发现 内存泄漏 静态分析 :支持度 :分布式采掘 状态机 :并行采掘 别名 区间运算 空指针引用 存储泄漏 静态测试 数组越界 大项集 软件测试 故障模式 关联规则 缺陷模式

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