张昱 郝允允 易彤 王雁 吴方君 蒋曹清 陈国勋 黄生叶 董改芳

时间研究 算法 程序切片 广义归结 人机分析 依赖分析 锁集 中断 软件测试 最一般的一致替换 动作分析 数据竞争 动态切片 进程 发生序关系 Java程序 描述公式 增量式检测 一致替换算法