Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis

微信服务号

微信订阅号

Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis
DOI:
                        
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目:

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.软件学报,,():

复制

文章指标

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

历史

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

微信服务号

微信订阅号

引用本文

分享

文章指标

历史