A recent IEEE blog article, by a group of researchers involved in the STAMP project reveals that, facing state perturbations, software might be more stable and reliable than expected.
This fascinating phenomenon is called "Correctness Attraction" in reference to the concepts of “stable equilibrium” and “attraction basin” in physics. It underlines input points for which a software system eventually reaches the same fixed and correct point according to a perturbation model.
Moreover, this could lead to new “bug absorbing zones” in software applications where software engineering techniques would improve the correctness attraction.
Discover the reasons behind correctness attraction in this blog post: