Almost correct invariants: synthesizing inductive invariants by fuzzing proofs.

Sumit Lahiri, Subhajit Roy

Browse the full ISSTA paper archive.