程序切片

发现匹配论文-刘强,况晓辉,陈华,李响,李广轲
导读:本文包含了发现匹配论文开题报告文献综述及选题提纲参考文献，主要关键词:脆弱性分析,程序切片,相似度匹配发现匹配论文文献综述刘强,况晓辉,陈华,李响,李广轲[1]（2019...
堆缓冲区溢出论文-李超,胡建伟,崔艳鹏
导读:本文包含了堆缓冲区溢出论文开题报告文献综述及选题提纲参考文献，主要关键词:缓冲区溢出,符号执行,程序切片,自动化利用堆缓冲区溢出论文文献综述李超,胡建伟,崔艳鹏[1]（2...
面向对象并发程序论文-戎玫,何志学,张广泉
导读:本文包含了面向对象并发程序论文开题报告文献综述及选题提纲参考文献，主要关键词:程序切片,线性时序逻辑性质,并发程序,程序验证面向对象并发程序论文文献综述戎玫,何志学,张广...
测试用例集约简论文-张军
导读:本文包含了测试用例集约简论文开题报告文献综述及选题提纲参考文献，主要关键词:程序切片,测试用例集约简,测试需求集约简,聚类算法测试用例集约简论文文献综述张军[1]（201...