* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Thu 31 May 2018 11:00 - 11:30 at E1/A room - SPLs and OO repair Chair(s): Rachel Tzoref-Brill

Systematic exploration of hypotheses is a major part of any empirical research. In software engineering, we often produce unique tools for experiments and evaluate them independently on different data sets. In this paper, we present KernelHaven as an experimentation workbench supporting a significant number of experiments in the domain of static product line analysis and verification. It addresses the need for extracting information from a variety of artifacts in this domain by means of an open plug-in infrastructure. Available plug-ins encapsulate existing tools, which can now be combined eficiently to yield new analyses. As an experimentation workbench, it provides configuration-based definitions of experiments, their documentation, and technical services, like parallelization and caching. Hence, researchers can abstract from technical details and focus on the algorithmic core of their research problem.

KernelHaven supports difierent types of analyses, like correctness checks, metrics, etc., in its specific domain. The concepts presented in this paper can also be transferred to support researchers of other software engineering domains. The infrastructure is available under Apache 2.0: https://github.com/KernelHaven. The plug-ins are available under their individual licenses.

Video: https://youtu.be/IbNc-H1NoZU

Thu 31 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: SPLs and OO repairDEMO - Demonstrations at E1/A room
Chair(s): Rachel Tzoref-BrillIBM Research
11:00 - 11:30
Demonstration
KernelHaven – An Experimentation Workbench for Analyzing Software Product Lines
DEMO - Demonstrations
Christian KröherUniversity of Hildesheim, Sascha El-SharkawyUniversity of Hildesheim, Klaus SchmidStiftung University Hildesheim
Link to publication DOI Pre-print
11:30 - 12:00
Talk
Elixir: An Automated Repair Tool for Java Programs
DEMO - Demonstrations
Ripon Saha, Hiroaki YoshidaFujitsu Laboratories of America, Inc., Mukul R. Prasad, Susumu TokumotoFujitsu Laboratories Ltd., Kuniharu Takayama, Isao Nanba
12:00 - 12:30
Talk
Multi-View Editing of Software Product Lines with PEoPL
DEMO - Demonstrations
Mukelabai Mukelabai, Benjamin Behringerhtw saar, Germany, Moritz Fey, Jochen Palz, Jacob KrügerHarz University of Applied Sciences, Germany, Thorsten Berger
Link to publication Pre-print