Global Positioning System; Optical fibers; Software engineering; Flyback transformers; Hafnium oxide;
机译:通过动态符号执行和基于覆盖率的模糊测试发现更深的错误
机译:结合动态污点分析和符号执行的Checksum-Aware模糊测试
机译:使用符号执行来指导测试生成
机译:SAFL:通过符号执行和引导性模糊测试来增加和加快测试范围
机译:动态符号执行中的上下文和前提条件搜索策略。
机译:用于网络协议实现和漏洞检测的模型指导的符号执行方法
机译:用蒙克改善功能覆盖:混合模糊和定向 符号执行方法
机译:预期覆盖范围(ExCov):在无限输入空间内计算模糊测试覆盖率的提案。