5 citations · 5 across the 1 of their papers we have counts for
1 paper
Tristan Denmat, Arnaud Gotlieb, Mireille Ducasse
A program invariant is a property that holds for every execution of the program. Recent work suggest to infer likely-only invariants, via dynamic analysis. A likely invariant is a…