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} }
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
Supplemental Presentations
Figures, Tables, and Topics from this paper
4 Citations
A journey among Java neutral program variants
- Computer Science
- Genetic Programming and Evolvable Machines
- 2019
- 4
- PDF
Analyzing the Effects of Bugs on Software Interfaces
- Computer Science
- IEEE Transactions on Software Engineering
- 2020
- 5
- PDF
References
SHOWING 1-10 OF 19 REFERENCES
Avoiding Program Failures Through Safe Execution Perturbations
- Computer Science
- 2008 32nd Annual IEEE International Computer Software and Applications Conference
- 2008
- 12
- PDF
Application-Level Correctness and its Impact on Fault Tolerance
- Computer Science
- 2007 IEEE 13th International Symposium on High Performance Computer Architecture
- 2007
- 165
- PDF
Perturbation analysis of computer programs
- Computer Science
- Proceedings of COMPASS '97: 12th Annual Conference on Computer Assurance
- 1997
- 13
Perturbing and evaluating numerical programs without recompilation—the wonglediff way
- Computer Science
- Softw. Pract. Exp.
- 2005
- 7
Y-branches: when you come to a fork in the road, take it
- Computer Science
- 2003 12th International Conference on Parallel Architectures and Compilation Techniques
- 2003
- 103
- PDF
The Oracle Problem in Software Testing: A Survey
- Computer Science
- IEEE Transactions on Software Engineering
- 2015
- 443
- PDF
Perturbing numerical calculations for statistical analysis of floating-point program (in)stability
- Computer Science
- ISSTA '10
- 2010
- 41
- PDF