Please use this identifier to cite or link to this item: https://doi.org/10.1145/2491411.2491425
Title: Boosting concolic testing via interpolation
Authors: Jaffar, J. 
Murali, V.
Navas, J.A.
Keywords: Concolic testing
Interpolation
Symbolic execution
Issue Date: 2013
Source: Jaffar, J.,Murali, V.,Navas, J.A. (2013). Boosting concolic testing via interpolation. 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings : 48-58. ScholarBank@NUS Repository. https://doi.org/10.1145/2491411.2491425
Abstract: Concolic testing has been very successful in automatically generating test inputs for programs. However one of its major limitations is path-explosion that limits the generation of high coverage inputs. Since its inception several ideas have been proposed to attack this problem from various angles: defining search heuristics that increase coverage, caching of function summaries, pruning of paths using static/dynamic information etc. We propose a new and complementary method based on interpolation, that greatly mitigates pathexplosion by subsuming paths that can be guaranteed to not hit a bug. We discuss new challenges in using interpolation that arise specifically in the context of concolic testing. We experimentally evaluate our method with different search heuristics using Crest, a publicly available concolic tester. Copyright 2013 ACM.
Source Title: 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings
URI: http://scholarbank.nus.edu.sg/handle/10635/78046
ISBN: 9781450322379
DOI: 10.1145/2491411.2491425
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

22
checked on Feb 20, 2018

Page view(s)

44
checked on Feb 23, 2018

Google ScholarTM

Check

Altmetric


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