王永吉 贺也平 杜栓柱 李明树 王青 陈伟 郭亮 唐稚松 赵波 马华东 冯东伟 郑瑶海 陶秋铭 薛云志 朱丹枫 夏勇 黎巎 曾伟明

测试用例自动生成 语句交换 控制结构生成 XYZRE 多媒体节目 过程图 LDP 关键节点控制图 循环优化变换 分布式多媒体软件系统 ATM 高级编译优化 测试与测控标记 动态分析 语句重排 协商模型 编著系统 时序关系 测试用例 时序逻辑 Agent 完全性 覆盖率 软件过程建模 编译优化 用例自动执行 Q学习 静态分析 时间安全输入输出自动机 协调性

中国科学院研究生院 中国科学院软件研究所互联网软件技术实验室 中国科学院软件研究所计算机科学开放研究实... 中国科学院软件研究所基础软件国家工程研究... 中国科学院软件研究所 北京邮电大学计算机学院 北京邮电大学计算机科学与技术学院 中国科学院软件研究所计算机开放研究实验室