Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis

微信服务号

微信订阅号

2025年7月26日 10:24 星期六

首页 > 过刊浏览>年第卷第期 >

PDF HTML阅读 XML下载导出引用引用提醒

Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis
DOI:
                        
                    
CSTR:
                        
                    
作者:
                        谢肖飞谢肖飞
天津大学
在期刊界中查找
在百度中查找
在本站中查找
陈碧欢陈碧欢
南洋理工大学
在期刊界中查找
在百度中查找
在本站中查找
刘杨刘杨
南洋理工大学
在期刊界中查找
在百度中查找
在本站中查找
Wei LeWei Le
Iowa State University
在期刊界中查找
在百度中查找
在本站中查找
李晓红李晓红
天津大学
在期刊界中查找
在百度中查找
在本站中查找

                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目:

Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

在程序分析中，循环（Loop）的处理与分析是一个非常重要而且很有挑战的任务。例如，在符号执行（Symbolic Execution）中，循环的不断展开会导致程序路径数量指数级地增长。因此，符号执行通常会陷入不停的循环展开，而不能覆盖到新的程序分支上，最终影响了测试用例生成或者缺陷检测的效率。

Abstract:

文章由CCF软件工程专业委员会白颖教授推荐。文章发表在FSE'16会议上Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering，原文链接如下：http://dl.acm.org/citation.cfm?id=2950340，读者如需引用该文请标引原文出处。

引用本文

谢肖飞,陈碧欢,刘杨,Wei Le,李晓红. Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis.软件学报,,():

复制

文章指标

点击次数:3718
下载次数: 4591
HTML阅读次数: 0
引用次数: 0

历史

收稿日期:
最后修改日期:
录用日期:
在线发布日期: 2016-12-12
出版日期:

微信服务号

微信订阅号

引用本文

相关视频

分享

文章指标

历史

文章二维码

微信服务号

微信订阅号

引用本文

相关视频

分享

微信扫一扫：分享

文章指标

历史

文章二维码