中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共9条，第1-9条

帮助

条数/页：排序方式：
	针对二进制程序的动态漏洞挖掘技术研究学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2016 王雪飞 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2016/05/31 二进制动态漏洞挖掘集成技术动态污点分析符号执行模糊测试非均衡任务分配
	基于约束的测试用例生成中可扩展性问题研究学位论文 OAI收割中国科学院新疆理化技术研究所: 中国科学院大学, 2013 作者: 王轶 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2013/05/31 符号执行约束求解可扩展性问题中间计算结果重用
	基于符号执行生成测试数据的过程优化学位论文 OAI收割中国科学院新疆理化技术研究所: 中国科学院研究生院, 2012 作者: 于亚南 \| 收藏 \| 浏览/下载：9/0 \| 提交时间：2016/05/10 软件测试符号执行前向遍历后向遍历表达式化简
	路径条件生成中的优化策略期刊论文 OAI收割计算机工程与设计, 2012, 卷号: 33, 期号: 10, 页码: 3995-3998+4003 作者: 于亚南; 周喜收藏 \| 浏览/下载：16/0 \| 提交时间：2013/04/20 符号执行路径条件前向遍历后向遍历依赖变量
	航天嵌入式操作系统的分析与验证期刊论文 OAI收割载人航天, 2012, 卷号: 18, 期号: 6, 页码: 69-74 李斌; 马越; 李潇; 刘剑 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2013/09/17 嵌入式操作系统分析验证静态分析模型检测符号执行航天系统
	JUTA:一个Java自动化单元测试工具期刊论文 OAI收割计算机研究与发展, 2010, 卷号: 47, 期号: 10, 页码: 1840-1848 严俊; 郭涛; 阮辉; 玄跻峰 \| 收藏 \| 浏览/下载：31/0 \| 提交时间：2011/05/23 Java单元测试动态测试静态测试程序分析符号执行Automatic testing Data flow analysis Errors Java programming language Regression analysis Steel bridges
	路由协议的符号化测试生成期刊论文 OAI收割计算机学报, 2010, 卷号: 33.0, 期号: 003, 页码: 589 作者: 邢熠; 叶新铭; 谢高岗 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2023/12/04 协议一致性测试统一语义模型符号测试生成符号执行数据选择
	精确的程序静态分析期刊论文 OAI收割计算机学报, 2008, 卷号: 31, 期号: 9, 页码: 1549-1553 张健 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2010/08/11 静态分析程序路径符号执行数据覆盖
	基于路径符号执行的数据相关性分析学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004 王晓亮收藏 \| 浏览/下载：13/0 \| 提交时间：2011/03/17 数据相关性静态测试动态测试路径符号执行