CORC

在结果中检索

CORC

浏览/检索结果: 共7条，第1-7条 帮助

已选(0)清除 条数/页：   排序方式：
基于无关变量分离的EFSM测试数据进化生成 期刊论文
北京航空航天大学学报, 2019, 卷号: 45, 页码: 919-929
作者:  潘雄;  郝帅;  苑政国;  宋凝芳
收藏  |  浏览/下载：12/0  |  提交时间：2019/12/30
软件结构化测试数据生成技术 学位论文
硕士, 北京: 中国科学院大学, 2014
吴添勇
收藏  |  浏览/下载：25/0  |  提交时间：2014/05/29
可信计算技术研究 期刊论文
计算机研究与发展, 2011, 卷号: 48, 期号: 8, 页码: 1332-1349
冯登国; 秦宇; 汪丹; 初晓博
收藏  |  浏览/下载：13/0  |  提交时间：2011/10/10
可信密码模块符合性测试方法研究 期刊论文
计算机学报, 2009, 卷号: 32, 期号: 4, 页码: 654-663
李昊; 胡浩; 陈小峰
收藏  |  浏览/下载：11/0  |  提交时间：2011/03/18
基于EFSM用户自定义故障模型的测试集生成 期刊论文
计算机应用研究, 2009, 卷号: 第26卷 第9期, 页码: 3388
作者:  李永亮;  李蕊;  李仁发;  张焱
收藏  |  浏览/下载：1/0  |  提交时间：2020/01/13
基于路径符号执行的数据相关性分析 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004
王晓亮
收藏  |  浏览/下载：7/0  |  提交时间：2011/03/17
软件测试的自动分析工具 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001
王晓旭
收藏  |  浏览/下载：10/0  |  提交时间：2011/03/17

©版权所有 ©2017 CSpace - Powered by CSpace