退出
我的积分:
中文文献批量获取
外文文献批量获取
谢肖飞; 李晓红; 陈翔; 孟国柱; 刘杨;
天津市先进网络重点实验室(天津大学) 天津300050;
南通大学计算机科学与技术学院 江苏南通226019;
信息安全国家重点研究室(中国科学院信息工程研究所) 北京 100093;
School of Computer Science and Engineering Nanyang Technological University 639798 Singapore;
软件质量保障; 模糊测试; 符号执行; 测试用例生成;
机译:通过动态符号执行和基于覆盖率的模糊测试发现更深的错误
机译:结合动态污点分析和符号执行的Checksum-Aware模糊测试
机译:一种基于多模态传感器数据融合的动态Taint跟踪优化模糊测试方法
机译:基于符号执行和组合测试的模糊测试框架
机译:使用混合格式测试和广义部分信用模型的基于计算机的分类测试方法的比较。
机译:用于网络协议实现和漏洞检测的模型指导的符号执行方法
机译:基于概率的黑盒模糊测试参数选择。
机译:分支覆盖率指导符号执行,用于软件二进制文件的混合模糊测试
机译:用于软件双二进制混合模糊测试的分支覆盖引导符号执行
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。