王永吉 赵琛 余侠 夏勇 郭亮 薛云志

形式规约 依赖分析 过程图 高级编译优化 编译器测试 循环优化 循环优化变换 pCTL 语句交换 优化编译 覆盖率 测试用例生成 语句重排 时序逻辑 分支时序逻辑 数据依赖 程序变换 测试自动化 变量替换

中国科学院研究生院 中国科学院软件研究所互联网软件技术实验室 中国科学院软件研究所基础软件国家工程研究... 中国科学院计算机科学国家重点实验室 中国科学院软件研究所