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

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

帮助

条数/页：排序方式：
	面向Android应用隐私泄露检测的多源污点分析技术期刊论文 OAI收割软件学报, 2019, 卷号: 30.0, 期号: 002, 页码: 211 作者: 王蕾; 周卿; 何冬杰; 李炼; 冯晓兵 \| 收藏 \|
	缺陷修复回归测试中失效测试的预测研究学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2016 唐新烨 \| 收藏 \|
	基于样本程序和规则库的代码自动化检查工具学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2011 王致富 \| 收藏 \|
	JUTA:一个Java自动化单元测试工具期刊论文 OAI收割计算机研究与发展, 2010, 卷号: 47, 期号: 10, 页码: 1840-1848 严俊; 郭涛; 阮辉; 玄跻峰 \| 收藏 \|
	精确的程序静态分析期刊论文 OAI收割计算机学报, 2008, 卷号: 31, 期号: 9, 页码: 1549-1553 张健 \| 收藏 \|
	基于抽象解释的代码迷惑有效性比较框架期刊论文 OAI收割计算机学报, 2007, 卷号: 30, 期号: 5, 页码: 806-814 高鹰; 陈意云收藏 \|
	一种基于中间格式表示的可复用程序分析系统学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2006 郑瑶海收藏 \|
	程序静态分析技术与工具期刊论文 OAI收割计算机科学, 2004, 卷号: 31, 期号: 2, 页码: 171-174 杨宇; 张健 \| 收藏 \|
	POPE:一个面向FORTRAN的程序设计环境期刊论文 OAI收割计算机研究与发展, 1995, 卷号: 32, 期号: 11, 页码: 44 作者: 杜子德 \| 收藏 \|