李大鹏 叶清 廖建华 胡莹 褚春超 张忠林 陈亚莎 阳富民 贾利敏 涂刚 李名川 李喆 王仁超 李文海

程序依赖图 数据库信息分类 可信软件栈 小型化 软件测试 贝叶斯定理 朴素贝叶斯 网络层次分析法ANP) 技术创新能力 工序 切片准则 嵌入式 动态程序切片算法 动态程序切片 动态链接 网络计划 符号执行 层次分析法AHP)