中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-5 of 5)

Items/Page:    Sort:
针对二进制程序的动态漏洞挖掘技术研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-26
王雪飞
  |  
 
航天嵌入式操作系统的分析与验证 [期刊论文]
载人航天, 2012-01-01, 卷号: 18, 期号: 6, 页码: 69-74
李斌; 马越; 李潇; 刘剑

 
JUTA:一个Java自动化单元测试工具 [期刊论文]
计算机研究与发展, 2010-01-01, 卷号: 47, 期号: 10, 页码: 1840-1848
严俊; 郭涛; 阮辉; 玄跻峰
  |  
 
精确的程序静态分析 [期刊论文]
计算机学报, 2008-01-01, 卷号: 31, 期号: 9, 页码: 1549-1553
张健
  |  
 
基于路径符号执行的数据相关性分析 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004-01-01
王晓亮
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace