Write a Blog >>
Mon 10 Jul 2017 16:00 - 16:25 at Bren 1414 - Symbolic Execution Chair(s): Gordon Fraser

Despite significant recent advances, the effectiveness of symbolic execution is limited when used to test complex, real-world software. One of the main scalability challenges is related to constraint solving: large applications and long exploration paths lead to complex constraints, often involving big arrays indexed by symbolic expressions. In this paper, we propose a set of semantics-preserving transformations for array operations that take advantage of contextual information collected during symbolic execution. Our transformations lead to simpler encodings and hence better performance in constraint solving. The results we obtain are encouraging: we show, through an extensive experimental analysis, that our transformations help to significantly improve the performance of symbolic execution in the presence of arrays. We also show that our transformations enable the analysis of new code, which would be otherwise out of reach for symbolic execution.

Conference Day
Mon 10 Jul

Displayed time zone: Tijuana, Baja California change

16:00 - 17:15
Symbolic ExecutionTechnical Papers at Bren 1414
Chair(s): Gordon FraserUniversity of Sheffield
16:00
25m
Talk
Accelerating Array Constraints in Symbolic Execution
Technical Papers
David Mitchel PerryPurdue University, Andrea MattavelliImperial College London, Xiangyu ZhangPurdue University, Cristian CadarImperial College London
DOI
16:25
25m
Talk
Improving the Cost-Effectiveness of Symbolic Testing Techniques for Transport Protocol Implementations under Packet Dynamics
Technical Papers
Wei SunUniversity of Nebraska-Lincoln, USA, Lisong XuUniversity of Nebraska-Lincoln, USA, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA
DOI
16:50
25m
Talk
Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs
Technical Papers
Pietro BraioneUniversity of Milano-Bicocca, Italy, Giovanni DenaroUniversity of Milano-Bicocca, Italy, Andrea MattavelliImperial College London, Mauro PezzèUniversity of Milano-Bicocca, Italy
DOI