徐升华 王云峰 慕晓冬 周婕 史亮 王立福 袁胜智 周晓宇 徐宝文 吴重强 杨芙清 蒋曹清 王欢 方菲 MartinAN 姜淑娟 吴伟民 郑国梁 吴方君 李晓维 沈云付 易昭湘 王鹏飞 张大方 孙家骕 佟长英 齐治昌 李宣东 王杰 董威

Petri网 互斥 Java 抽象语法树 Kripke结构 并发程序 单子转换器 数据依赖 指向分析 JAVA系统依赖图 数据流迭代 安全检测 过程间切片 耦合度量 模块单子语义 指针 异常处理 动态程序切片 事件处理 细诊断 时序逻辑 软件逆向工程 前向切片 数据流 两阶段图形可达性 控制依赖 Object-Z 程序分析 单子切片 回归测试