郑纬民 杨冬青 胡建华 王雅文 邹维 郭福顺 慕晓冬 宋国杰 钱家骅 姜淑娟 孔亦南 梁洪波 李晓维 陈英 宫云战 孙跃勇 郭健强 帅桂华 闵应骅 金大海 凤旺森 朱根江 易江芳 孙印杰 张涌 程旭 陈意云 金茂忠 吴建平 谢立

控制流 软件测试 数据依赖分析 污点分析 GCC 区域图 测试数据 击键记录 分支 ALAD 增量程序 程序切片 设计环境 消去算法 控制流分析 程序定义域 并发程序 逻辑路径 程序分析 定义-引用对 程序分片 非数值变量 GAG系统 分布存储系统 代码优化 操作调用序列 引用-定值链 软件开发 面向对象程序设计 Windows