路径搜索策略相关硕士博士期刊学术论文 - 搜论网

路径搜索策略相关论文

符号执行的路径爆炸及约束求解问题研究

软件测试是确保软件质量的重要方法,基本的技术手段是利用不同的测试案例去执行被测程序,测试案例的选取密切地关系着软件测试的质......

学位

测试案例选择性符号执行路径搜索策略控制流图约束求解器

动态符号执行中路径搜索策略的研究与实现

作为一种动态的程序分析技术,动态符号执行凭借高代码覆盖率、自动化计算输入值、分析结果准确等优点,已被广泛应用于软件测试和验......

学位

动态符号执行路径搜索策略代码覆盖率 CFG

看过本文同时还关注