Home

Publications

Projects

Teaching

Misc.

Empirical study

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

Correctness Attraction: Live-Demo