您当前的位置:
首页 >
文章列表页 >
基于子路径扩展的不可达路径检测方法
基于子路径扩展的不可达路径检测方法
An Approach for Detecting Infeasible Paths Based on Sub-Path Expansion
- 电子学报 2015年43卷第8期 页码:1555-1560
DOI: 10.3969/j.issn.0372-2112.2015.08.013
移动端阅览
HTML全文
参考文献
出版信息
数据统计
14
浏览量
40
下载量
0
CSCD
文章被引用时,请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
面向机器学习模型安全的测试与修复
基于镜像选择序优化的MART算法
一种新的多路径覆盖测试数据进化生成方法
一种面向性质的实时系统测试方法
基于抽象解释的变量值范围分析及应用
相关作者
张笑宇
沈超
蔺琛皓
李前
王骞
李琦
管晓宏
李志博
相关机构
清华大学网络科学与网络空间研究院
武汉大学国家网络安全学院
智能网络与网络安全教育部重点实验室(西安交通大学)
西安交通大学电子与信息学部网络空间安全学院
中关村实验室

