* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Wed 30 May 2018 16:20 - 16:40 at H1 room - Test Generation Chair(s): Federica Sarro

Concolic testing integrates concrete execution (e.g., random testing) and symbolic execution for test case generation. It is shown to be more cost-effective than random testing or symbolic execution sometimes. A concolic testing strategy is a function which decides when to apply random testing or symbolic execution, and if it is the latter case, which program path to symbolically execute. Many heuristics-based strategies have been proposed. It is still an open problem what is the optimal concolic testing strategy. In this work, we make two contributions towards solving this problem. First, we show the optimal strategy can be defined based on the probability of program paths and the cost of constraint solving. The problem of identifying the optimal strategy is then reduced to a model checking problem of Markov Decision Processes with Costs. Secondly, in view of the complexity in identifying the optimal strategy, we design a greedy algorithm for approximating the optimal strategy. We conduct two sets of experiments. One is based on randomly generated models and the other is based on a set of C programs. The results show that existing heuristics have much room to improve and our greedy algorithm often outperforms existing heuristics.

Wed 30 May

icse-2018-Technical-Papers
16:00 - 17:30: Technical Papers - Test Generation at H1 room
Chair(s): Federica SarroUniversity College London
icse-2018-Technical-Papers152768880000016:00 - 16:20
Talk
Leonardo MarianiUniversity of Milano Bicocca, Mauro PezzèUniversity of Milano-Bicocca, Italy, Daniele Zuddas
Pre-print
icse-2018-Technical-Papers152769000000016:20 - 16:40
Talk
Xinyu WangZhejiang University, Jun SunSingapore University of Technology and Design, Zhenbang ChenCollege of Computer, National University of Defense Technology, Peixin Zhang, Jingyi WangSingapore University of Technology and Design, Yun Lin
Pre-print
icse-2018-Technical-Papers152769120000016:40 - 17:00
Talk
Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi RayColumbia University, New York
icse-2018-Technical-Papers152769240000017:00 - 17:20
Talk
icse-2018-Technical-Papers152769360000017:20 - 17:30
Talk