ASSERT-KTH / xPerturb

perturbation analysis, correctness attraction and randomization, by KTH Royal Institute of Technology
https://hal.archives-ouvertes.fr/hal-01378523/file/correctness-attraction.pdf
7 stars 5 forks source link