search

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

Usability improvements #15

Closed orestisfl closed 4 years ago

monperrus commented 4 years ago

Thanks Orestis.