程序分析
偏有限自动机论文-王超
导读:本文包含了偏有限自动机论文开题报告文献综述及选题提纲参考文献,主要关键词:有限自动机,程序分析,信息识别,软件维护偏有限自动机论文文献综述王超[1](2019)在《一种基...依赖追踪论文-匡宏宇
导读:本文包含了依赖追踪论文开题报告文献综述及选题提纲参考文献,主要关键词:软件可追踪性,代码依赖关系,程序分析,可追踪性生成依赖追踪论文文献综述匡宏宇[1](2016)在《基...网页分析方法论文-何欣程,查春柳,许蕾
导读:本文包含了网页分析方法论文开题报告文献综述及选题提纲参考文献,主要关键词:网页广告,程序分析,特征识别,广告屏蔽网页分析方法论文文献综述何欣程,查春柳,许蕾[1](201...硬件资源优化论文-卡纳阿尼尔(Anil,Kumar,Karna)
导读:本文包含了硬件资源优化论文开题报告文献综述及选题提纲参考文献,主要关键词:系统崩溃,程序分析,符号执行,模型检查硬件资源优化论文文献综述卡纳阿尼尔(Anil,Kumar,...