* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Thu 31 May 2018 11:20 - 11:40 at H2 room - Empirical Studies of Code Chair(s): Natalia Juristo

Can the execution of a software be perturbed without breaking the correctness of the output? In this paper, we devise a novel protocol to answer this rarely investigated question. In an experimental study, we observe that many perturbations do not break the correctness in ten subject programs. We call this phenomenon “correctness attraction”. The uniqueness of this protocol is that it considers a systematic exploration of the perturbation space as well as perfect oracles to determine the correctness of the output. To this extent, our findings on the stability of software under execution perturbations have a level of validity that has never been reported before in the scarce related work. A qualitative manual analysis enables us to set up the first taxonomy ever of the reasons behind correctness attraction.

Thu 31 May

icse-2018-Technical-Papers
11:00 - 12:30: Technical Papers - Empirical Studies of Code at H2 room
Chair(s): Natalia JuristoFacultad de Informática - UPM
icse-2018-Journal-first-papers11:00 - 11:20
Talk
Dayi LinQueen's University, Cor-Paul BezemerQueen's University, Kingston, Ontario, Ahmed E. HassanQueen's University
Link to publication DOI Pre-print
icse-2018-Journal-first-papers11:20 - 11:40
Talk
Benjamin DanglotUniversity Lille 1 and INRIA, Phlippe Preux, Benoit BaudryKTH Royal Institute of Technology, Sweden, Martin MonperrusKTH Royal Institute of Technology
DOI Pre-print
icse-2018-Journal-first-papers11:40 - 12:00
Talk
Fabio Palomba, Gabriele BavotaUniversità della Svizzera italiana (USI), Massimiliano Di PentaUniversity of Sannio, Fausto Fasano, Rocco OlivetoUniversity of Molise, Andrea De LuciaUniversity of Salerno
icse-2018-Technical-Papers12:00 - 12:20
Talk
Nikolaos TsantalisConcordia University, Canada, Matin Mansouri, Laleh M-Eshkevari, Davood MazinanianUniversity of British Columbia, Danny DigSchool of EECS at Oregon State University
Pre-print Media Attached
icse-2018-Technical-Papers12:20 - 12:30
Talk