首页   |   期刊介绍   |   编 委 会   |   投稿指南   |   期刊订阅   |   检索与收录   |   联系我们   |   专栏投稿  |  旧版网站入口
小型微型计算机系统  2017, Vol. 38 Issue (6): 1250-1255    DOI:
最新目录| 下期目录| 过刊浏览| 高级检索 |
Codecomb:基于符号执行的嵌入式软件测试案例自动生成与缺陷检测
郭文生1,汪勇1,杨霞1,高敏2
1(电子科技大学 信息与软件工程学院,成都 610054)2(美国加州大学 洛杉矶分校 电子工程系,加利福尼亚州 洛杉矶 90034)
Codecomb:Automated Test Case Generation and Defect Detecting for Embedded Software Based on Symbolic Execution
GUO Wen-sheng1,WANG Yong1,YANG Xia1 ,GAO Min2
1(School of Information and Software Engineering,University of Electronic Science and Technology of China,Sichuan Chengdu 610054 ,China)2(University of California,Los Angeles Electrical Engineering Department,California,Los Angeles 90034,United States)


版权所有 © 《小型微型计算机系统》编辑部
主办单位:中国科学院沈阳计算技术研究所 主编:郭锐锋
国内邮发代号:8-108 国外发行代号:M349 通信地址:沈阳市浑南区南屏东路16号 邮编:110168
联系电话:(024)24696120 E-mail: xwjxt@sict.ac.cn
本系统由北京玛格泰克科技发展有限公司设计开发  技术支持:support@magtech.com.cn