• DOI:10.1007/s10664-017-9571-8
Corpus ID: 12549038

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

@article{Danglot2018CorrectnessAA,
  title={Correctness attraction: a study of stability of software behavior under runtime perturbation},
  author={Benjamin Danglot and P. Preux and B. Baudry and Monperrus Martin},
  journal={Empirical Software Engineering},
  year={2018},
  volume={23},
  pages={2086-2119}
}

Benjamin Danglot, P. Preux, +1 author Monperrus Martin

Published 2018

Computer Science

Empirical Software Engineering

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… CONTINUE READING

View on IEEE

arxiv.org

Save to Library

Create Alert

Cite

Launch Research Feed