朱炎 李必信 王云峰 徐升华 王鹏飞 蔡国永 张勇翔 江海燕 郑国梁 吴方君 杜林 李宣东 MartinAN 缪力 张大方

异常处理 面向对象 构造算法 程序依赖图 波动效应 控制依赖 面向对象系统依赖图 方法分片 类图 过程依赖 Z语言 JAVA程序 粗粒度切片 程序分片 程序切片 简化系统依赖图 程序分析 数据依赖 静态切片