Correctness attraction: a study of stability of software behavior under runtime perturbation
Created by W.Langdon from
gp-bibliography.bib Revision:1.7970
- @Article{danglot:hal-01378523,
-
author = "Benjamin Danglot and Philippe Preux and
Benoit Baudry and Martin Monperrus",
-
title = "Correctness attraction: a study of stability of
software behavior under runtime perturbation",
-
journal = "Empirical Software Engineering",
-
year = "2018",
-
month = "1 " # aug,
-
volume = "23",
-
number = "4",
-
pages = "2086--2119",
-
keywords = "genetic algorithms, genetic programming, diversity,
selected, software correctness, perturbation analysis,
empirical study",
-
publisher = "Springer",
-
ISSN = "1573-7616",
-
hal_id = "hal-01378523",
-
hal_version = "v2",
-
URL = "https://hal.archives-ouvertes.fr/hal-01378523",
-
URL = "https://hal.archives-ouvertes.fr/hal-01378523/file/correctness-attraction.pdf",
-
URL = "https://hal.archives-ouvertes.fr/hal-01378523/file/correctness-attraction.pdf",
-
URL = "https://hal.archives-ouvertes.fr/hal-01378523",
-
URL = "https://arxiv.org/abs/1611.09187",
-
DOI = "doi:10.1007/s10664-017-9571-8",
-
size = "34 pages",
-
abstract = "Can the execution of software be perturbed without
breaking the correctness of the output? In this paper,
we devise a protocol to answer this question from a
novel perspective. 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.",
-
notes = "Presented by Martin at ICSE 2018
See also blog
https://medium.com/@martin.monperrus/correctness-attraction-software-behavior-is-stable-under-runtime-perturbation-4640af30e0fc
also known as \cite{Danglot2018}",
- }
Genetic Programming entries for
Benjamin Danglot
Philippe Preux
Benoit Baudry
Martin Monperrus
Citations