Skip to content
perturbation analysis, correctness attraction and randomization, by KTH Royal Institute of Technology
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
cPerturb
demos/correctness-attraction
jPerturb
llvmPerturb
.gitignore
.travis.yml
README.md

README.md

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

You can’t perform that action at this time.