已选(0)清除
条数/页: 排序方式:
|
| 基于符号执行与模糊测试的混合测试方法 期刊论文 软件学报, 2019, 卷号: 第10期 作者: 谢肖飞; 李晓红; 陈翔; 孟国柱; 刘杨
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/11/21 |
| 基于程序信息流分析的回归测试案例扩充与错误定位方法研究 学位论文 2018 作者: 陈泽华
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0  |  提交时间:2019/11/26
|
| 针对特定文件结构和关键指令的符号执行优化方法 期刊论文 《信息网络安全》, 2018, 卷号: 0, 页码: 86-94 作者: 陈虎[1] 周瑶[1]; 赵军锁[2]
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2019/04/22
|
| 基于符号执行的Unlink攻击检测方法 期刊论文 《华南理工大学学报:自然科学版》, 2018, 卷号: 46, 页码: 81-87 作者: 黄宁[1] 黄曙光[1] 梁智超[2]
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:6/0  |  提交时间:2019/04/22
|
| Crash可利用性分析方法研究综述 期刊论文 计算机科学, 2018, 卷号: 第45卷, 页码: P8-14,23 作者: 张婧; 周安民; 刘亮; 贾鹏; 刘露平
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0  |  提交时间:2019/02/28
|
| 基于动态符号执行的勒索软件检测方法 期刊论文 计算机工程, 2018, 卷号: 第44卷, 页码: P104-110 作者: 陈政; 方勇; 刘亮; 左政
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2019/02/28
|
| 一种基于Actor模型的并行动态符号执行方法 期刊论文 小型微型计算机系统, 2018, 卷号: 39 作者: 张晓文; 贾向阳; 常亮; 刘钱超; 胡小辉
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0  |  提交时间:2019/12/05
|
| 基于符号化执行的测试用例自动生成方法研究 学位论文 : 西安理工大学, 2018 作者: 任瑞国
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0  |  提交时间:2019/12/20
|
| 一种基于Actor模型的并行动态符号执行方法 期刊论文 小型微型计算机系统, 2018, 期号: 1 作者: 张晓文; 贾向阳; 常亮; 刘钱超; 胡小辉
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2019/12/05
|
| 基于遗传方法和符号执行的组合加速测试用例生成方法 专利 申请日期: 2018-01-01, 公开日期: 2019-02-15 作者: 杨顺昆; 苟晓冬; 李红曼; 边冲; 刘文静
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0  |  提交时间:2019/12/30 |