计算机应用
     首页 |  广告服务 |  期刊介绍 |  编委会 |  期刊订阅 |  下载中心 |  留言板 |  联系我们 |  投稿常见问题解答 |  English Version     30周年刊庆
计算机应用  2018, Vol. 38 Issue (10): 2990-2995    DOI: 10.11772/j.issn.1001-9081.2018030733
计算机软件技术 最新目录| 下期目录| 过刊浏览| 高级检索 |
基于证据自动机的软件回归验证
贾尚坤, 贺飞
清华大学 软件学院, 北京 100084
Software regression verification based on witness automata
JIA Shangkun, HE Fei
School of Software, Tsinghua University, Beijing 100084, China



版权所有 ©2005 四川计算机应用杂志社有限公司
新出网证(川)字026号  蜀ICP备 05010208 号
地址:四川省成都市武侯区人民南路四段9号中国科学院成都分院《计算机应用》 编辑部
邮政编码: 610041 电话: 028-85224283-803 E-mail: bjb@joca.cn