郝克刚 张龙杰 董皓 徐升华 王杰 胡圣明 张德运 陈平 吴方君 周婕 袁胜智 谢晓方 陈海诠 龚晓洁 肖健宇 郑变红 葛玮 慕晓冬 陈文海

循环-承载数据依赖 数据依赖 类依赖图 系统依赖图 静态程序切片 反射植入 动态分析 抽象语法树 开放编译 面向对象 软件逆向工程 静态分析 并发程序 控制依赖 软件测试 Z语言 程序切片 逆向工程