|
已选(0)清除
条数/页： 排序方式：
|
| 程序分析研究进展 期刊论文
软件学报, 2019, 卷号: 30
作者: 张健; 张超; 玄跻峰; 熊英飞; 王千祥
  收藏 | 浏览/下载：7/0 | 提交时间：2019/12/05
|
| 程序分析研究进展 期刊论文
软件学报, 2019, 期号: 01
作者: 张健; 张超; 玄跻峰; 熊英飞; 王千祥
收藏 | 浏览/下载：5/0 | 提交时间：2019/12/05
|
| 基于统计语言模型和程序静态分析的代码帮助技术研究 学位论文
2017
作者: 姜加明
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 缺陷修复回归测试中失效测试的预测研究 学位论文
硕士, 北京: 中国科学院研究生院, 2016
唐新烨
收藏 | 浏览/下载：6/0 | 提交时间：2016/06/04
|
| 面向Android的恶意软件检测系统的设计与实现 学位论文
2016
作者: 彭帅
收藏 | 浏览/下载：1/0 | 提交时间：2019/11/26
|
| 一个程序静态分析与可视化工具 期刊论文
2015, 2015
李海洋,姜淑娟,王庆坛等
收藏 | 浏览/下载：2/0 | 提交时间：2017/06/15
|
| 基于值依赖分析的空指针解引用检测 期刊论文
电子学报, 2015
马森; 赵文; 习翔宇; 王栋伟
收藏 | 浏览/下载：8/0 | 提交时间：2017/12/03
|
| 基于k近邻最弱前置条件的程序多路径验证方法 期刊论文
计算机学报, 2015, 卷号: 38, 期号: 11
作者: 郭曦; 王建勇; 王盼; 张焕国
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| C语言静态代码分析中的调用关系提取方法 期刊论文
计算机科学, 2014
江梦涛; 荆琦
收藏 | 浏览/下载：1/0 | 提交时间：2015/11/11
|
| 基于用况图的程序理解方法研究 期刊论文
计算机工程与应用, 2013, 期号: 14, 页码: 51-55
作者: 司海平; 乔红波; 虎晓红; 陈宝钢; 曹永生
收藏 | 浏览/下载：4/0 | 提交时间：2017/10/22
|
