https://123dok.net/document/q7we1v0v-correctness-attraction-study-stability-software-behavior-runtime-perturbation.html