Correctness attraction: a study of stability of software behavior under runtime perturbation

Created by W.Langdon from gp-bibliography.bib Revision:1.4504

  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,
  publisher =    "Springer",
  ISSN =         "1573-7616",
  URL =          "",
  URL =          "",
  DOI =          "doi:10.1007/s10664-017-9571-8",
  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 =        "also known as \cite{Danglot2018}",

Genetic Programming entries for Benjamin Danglot Philippe Preux Benoit Baudry Martin Monperrus