xPerturb : runtime perturbation analysis tools for correctness attraction and randomization

See Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation (Benjamin Danglot, Philippe Preux, Benoit Baudry and Martin Monperrus), In Empirical Software Engineering, Springer Verlag, 2017.

@article{danglot2016correctness,
 title = {{Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation}},
 author = {Danglot, Benjamin and Preux, Philippe and Baudry, Benoit and Monperrus, Martin},
 journal = {{Empirical Software Engineering}},
 publisher = {{Springer Verlag}},
 year = {2017},
 doi = {10.1007/s10664-017-9571-8},
}

jPerturb

Perturbation analysis for Java code: https://github.com/KTH/xPerturb/tree/master/jPerturb

cPerturb

Perturbation analysis for C code: https://github.com/KTH/xPerturb/tree/master/cPerturb

llvmPerturb

Perturbation analysis for LLVM IR:https://github.com/KTH/xPerturb/tree/master/llvmPerturb