* 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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30
Test GenerationTechnical Papers at H1 room
Chair(s): Federica SarroUniversity College London
16:00
20m
Talk
Augusto: Exploiting Popular Functionalities for the Generation of Semantic GUI Tests with Oracles
Technical Papers
Leonardo MarianiUniversity of Milano Bicocca, Mauro PezzèUniversity of Milano-Bicocca, Italy, Daniele Zuddas
Pre-print
16:20
20m
Talk
Towards Optimal Concolic TestingAward
Technical Papers
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
16:40
20m
Talk
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars
Technical Papers
Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi RayColumbia University, New York
17:00
20m
Talk
Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts
Technical Papers
17:20
10m
Talk
Q&A in groups
Technical Papers