XJIPC OpenIR  > 多语种信息技术研究室
Fast loop boundary coverage testing in symbolic execution
WangYi; JiangTong Hai; DongJun
2013
Conference Name2013 3rd International Conference on Advanced Measurement and Test, AMT 2013
Pages2314-2317
Conference DateMarch 13, 2013 - March 14, 2013
Conference PlaceXiamen, China
Publication PlaceTrans Tech Publications Ltd, Kreuzstrasse 10, Zurich-Durnten, CH-8635, Switzerland
Abstract

Symbolic execution is a promising approach for software analyzing and testing, but it still suffers from scalability issues, in which a significant challenge is how to handle loop caused path explosion. This paper proposes a new approach to mitigate the scalability problem brought by loops in symbolic execution. By reusing the previously calculated results captured from satisfiability verification process, we implement a fast loop boundary coverage test strategy which can eliminate a large number of redundant paths and unnecessary solver invocations. Experimental results on Symbolic (Java) PathFinder show that our strategy can greatly improve the efficiency of testing for programs having loops

Indexed ByEI
Document Type会议论文
Identifierhttp://ir.xjipc.cas.cn/handle/365002/3617
Collection多语种信息技术研究室
AffiliationUniversity of Chinese Academy of SciencesXinjiang Technical Institute of Physics and Chemistry,Chinese Academy of Sciences
Recommended Citation
GB/T 7714
WangYi,JiangTong Hai,DongJun. Fast loop boundary coverage testing in symbolic execution[C]. Trans Tech Publications Ltd, Kreuzstrasse 10, Zurich-Durnten, CH-8635, Switzerland,2013:2314-2317.
Files in This Item:
File Name/Size DocType Version Access License
Fast loop boundary c(246KB)会议论文 开放获取CC BY-NC-SAView Application Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[WangYi]'s Articles
[JiangTong Hai]'s Articles
[DongJun]'s Articles
Baidu academic
Similar articles in Baidu academic
[WangYi]'s Articles
[JiangTong Hai]'s Articles
[DongJun]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[WangYi]'s Articles
[JiangTong Hai]'s Articles
[DongJun]'s Articles
Terms of Use
No data!
Social Bookmark/Share
File name: Fast loop boundary coverage testing in symbolic execution.pdf
Format: Adobe PDF
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.