程序分析
本标签列表页为您列举一些程序分析方面的文档。把最新最全的程序分析相关文档推荐给您,让您轻松找到相关文档信息,并提供程序分析相关文档查询解读下载等功能。
馈线自动化线路故障处理程序分析
馈线自动化
故障处理
程序分析
4400浏览2025-08-16上传pdf1.77MB共22页未评分
模糊测试中的变异策略在约束求解上的应用探究
模糊测试
变异策略
约束求解
8浏览2025-07-20上传pdf1.55MB共16页未评分
一种基于高阶函数摘要的依赖簇检测方法
高阶函数摘要
依赖簇检测
程序分析
8浏览2025-07-20上传pdf8.2MMB共12页未评分
基于冗余覆盖信息约简的软件缺陷定位方法
冗余覆盖
信息约简
软件缺陷定位
8浏览2025-07-20上传pdf2.21MB共56页未评分
文件信息增强的方法级软件缺陷定位
信息增强
软件缺陷定位
方法级分析
7浏览2025-07-20上传pdf1.64MB共9页未评分
融合句嵌入模型和代码特征的补丁验证方法
补丁验证
句嵌入模型
代码特征
4浏览2025-07-20上传pdf2.33MB共28页未评分
反编译中内嵌数学库函数恢复技术研究
反编译
数学库函数
函数恢复
7浏览2025-07-19上传pdf0.46MB共7页未评分
并发程序切片技术的探讨
并发程序
程序切片
切片技术
10浏览2025-07-18上传pdf0.2MMB共4页未评分
基于多线程的指令相关图并行分析算法
多线程
指令相关图
并行分析
8浏览2025-07-18上传pdf1.28MB共8页未评分
基于序列模式挖掘和贝叶斯算法的代码克隆检测
代码克隆检测
序列模式挖掘
贝叶斯算法
8浏览2025-07-18上传pdf0.58MB共9页未评分
基于抽象解释的不变式验证
抽象解释
不变式验证
程序分析
10浏览2025-07-18上传pdf0.5MMB共14页未评分
基于搜索的软件缺陷修复
搜索
软件缺陷
修复
7浏览2025-07-18上传pdf7.62MB共50页未评分
混合式漏洞挖掘研究进展
混合式漏洞挖掘
符号执行
模糊测试
9浏览2025-07-18上传pdf2.46MB共40页未评分
自动程序修复中的缺陷位置与补丁正确性
自动程序修复
缺陷定位
补丁生成
12浏览2025-07-17上传pdf0.23MB共4页未评分
针对模型转换程序的蜕变测试方法研究
模型转换
蜕变测试
程序分析
12浏览2025-07-17上传pdf2.18MB共11页未评分