王青 贺也平 王永吉 陈伟 赵琛 曾伟明 陶秋铭 李明树 余侠 夏勇

基本块 测试用例生成 时间安全输入输出自动机 编译优化 编译器测试 测试用例 实时系统测试 最简稳定符号状态迁移图 分支时序逻辑 循环优化 时序逻辑 关键节点控制图 覆盖率 pCTL 依赖分析 循环优化变换

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