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

基本块 测试用例生成 时间安全输入输出自动机 编译优化 编译器测试 测试用例 实时系统测试 最简稳定符号状态迁移图

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