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
    4 Citations
    A journey among Java neutral program variants
    • 4
    • PDF
    Analyzing the Effects of Bugs on Software Interfaces
    • 5
    • PDF
    Automatic Unit Test Amplification For DevOps
    • 1

    References

    SHOWING 1-10 OF 19 REFERENCES
    Avoiding Program Failures Through Safe Execution Perturbations
    • 12
    • PDF
    Application-Level Correctness and its Impact on Fault Tolerance
    • X. Li, D. Yeung
    • Computer Science
    • 2007 IEEE 13th International Symposium on High Performance Computer Architecture
    • 2007
    • 165
    • PDF
    Perturbation analysis of computer programs
    • 13
    Y-branches: when you come to a fork in the road, take it
    • N. Wang, M. Fertig, S. Patel
    • Computer Science
    • 2003 12th International Conference on Parallel Architectures and Compilation Techniques
    • 2003
    • 103
    • PDF
    The Oracle Problem in Software Testing: A Survey
    • 443
    • PDF
    The Multiple Facets of Software Diversity
    • 74
    • PDF
    ASAC: automatic sensitivity analysis for approximate computing
    • 59
    • PDF
    Decompilation as search
    • 10
    • PDF