陈宗岳 施小纯 薛锐 吴鹏 张轶 方海 许文 陈靖

进程代数 语言S 模型检测 蜕变测试 诊断生成 特殊用例测试 符号互模拟 互模拟

中国科学院软件研究所 北京100080中国科学院研究生院 中国科学院软件研究所计算机科学实验室 中国科学院软件研究所计算机科学重点实验室 中国科学院软件研究所计算机科学开放实验室 中国科学院软件研究所计算机科学开放研究实...