制导符号执行相关硕士博士期刊学术论文 - 搜论网

制导符号执行相关论文

一种基于程序功能标签切片的制导符号执行分析方法

提出了一种基于程序功能标签切片的制导符号执行分析方法OPT-SSE.该方法从程序功能文档提取功能标签,利用程序控制流分析,建立各功......

期刊

制导符号执行分支覆盖率指令覆盖率搜索策略程序切片 guided symbolic execution branch coverage instructi

看过本文同时还关注