* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Fri 1 Jun 2018 15:00 - 15:20 at J1 room - Search-Based Software Engineering II Chair(s): Daniel Varro

We present a technique to automatically generate search heuristics for concolic testing. A key challenge in concolic testing is how to effectively explore the program’s execution paths to achieve high code coverage in a limited time budget. Concolic testing employs a search heuristic to address this challenge, which favors exploring particular types of paths that are most likely to maximize the final coverage. However, manually designing a good search heuristic is nontrivial and typically ends up with suboptimal and unstable outcomes. The goal of this paper is to overcome this shortcoming of concolic testing by automatically generating search heuristics. We define a class of search heuristics, namely a parameterized heuristic, and present an algorithm that efficiently finds an optimal heuristic for each subject program. Experimental results with open-source C programs show that our technique successfully generates search heuristics that significantly outperform existing manually-crafted heuristics in terms of branch coverage and bug-finding.

Fri 1 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Search-Based Software Engineering IITechnical Papers / Journal first papers at J1 room
Chair(s): Daniel Varro McGill University / Budapest University of Technology and Economics
14:00
20m
Talk
Search-Based Test Data Generation for SQL Queries
Technical Papers
Jeroen Castelein , Maurício Aniche Delft University of Technology, Netherlands, Mozhan Soltani , Annibale Panichella Deflt University of Technology, Arie van Deursen Delft University of Technology
DOI Pre-print Media Attached
14:20
20m
Talk
Multi-Objective Integer Programming Approaches for Solving Optimal Feature Selection Problem
Technical Papers
DOI Pre-print Media Attached
14:40
20m
Talk
Automated Refactoring of OCL Constraints with Search
Journal first papers
Hong Lu , Shuai Wang , Tao Yue Simula Research Laboratory and University of Oslo, Shaukat Ali Simula Research Lab, Jan Nygard
15:00
20m
Talk
Automatically Generating Search Heuristics for Concolic Testing
Technical Papers
Sooyoung Cha Korea University, South Korea, Seongjoon Hong , Junhee Lee , Hakjoo Oh Korea University
Pre-print
15:20
10m
Talk
Q&A in groups
Technical Papers