* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Wed 30 May 2018 12:00 - 12:30 at E1/B room - Test automation and failure diagnosis Chair(s): Ralf Reussner

Random and search-based test generators yield realistic test cases based on program APIs, but often miss structural test objectives that depend on non-trivial data structure instances; Whereas symbolic execution can precisely characterise those dependencies but does not compute method sequences to instantiate them. We present SUSHI, a high-coverage test case generator for programs with complex structured inputs. SUSHI leverages symbolic execution to generate path conditions that precisely describe the relationship between program paths and input data structures, and converts the path conditions into the tness functions of search-based test generation problems. A solution for the search problem is a legal method sequence that instantiates the structured inputs to exercise the program paths identied by the path condition. Our experiments indicate that SUSHI can distinctively complement current automatic test generation tools.

Wed 30 May

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

11:00 - 12:30
Test automation and failure diagnosisDEMO - Demonstrations at E1/B room
Chair(s): Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI)
11:00
30m
Talk
Aletheia: A Failure Diagnosis Toolchain
DEMO - Demonstrations
11:30
30m
Demonstration
When the testing gets tough, the tough get ElasTest
DEMO - Demonstrations
Antonia Bertolino CNR-ISTI, Antonello Calabrò CNR-ISTI, Guglielmo De Angelis CNR-IASI, CNR-ISTI, Micael Gallego , Boni García , Francisco Gortázar Universidad Rey Juan Carlos
DOI Pre-print Media Attached
12:00
30m
Talk
SUSHI: A Test Generator for Programs with Complex Structured Inputs
DEMO - Demonstrations
Pietro Braione University of Milano-Bicocca, Giovanni Denaro University of Milano-Bicocca, Italy, Andrea Mattavelli Imperial College London, Mauro Pezze Università della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca
Pre-print