Probabilistic Conditional System Invariant Generation with Bayesian Inference

Meriel Stein, Sebastian Elbaum, Lu Feng +1

Invariants are a set of properties over program attributes that are expected to be true during the execution of a program. Since developing those invariants manually can be costly…