聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 过程提取用于改善程序模型检测的可伸缩性
出处:西安交通大学学报 2006年第6期 630-633,共4页
摘要:针对目前基于谓词抽象的程序模型检测工具很难处理大规模软件的现状,提出用过程提取技术对待检的源代码进... 显示全部
关键词: 程序模型检测 过程提取 任务模块化
在线阅读 下载全文
找到1条结果
`