Home

Publications

Projects

Teaching

Misc.

Perturbation analysis

Correctness attraction: a study of stability of software behavior under runtime perturbation.

Correctness Attraction: Live-Demo