RT @DomSteinhoefel: Appendix. 1) The coverage problem reminds me of paper by @vardi et al. https://t.co/cFHiu1vfdx on coverage metrics for…
13,203 followers
301 followers
Appendix. 1) The coverage problem reminds me of paper by @vardi et al. https://t.co/cFHiu1vfdx on coverage metrics for formal verification. Did somebody implement this for QuickCheck-like approaches?
13,203 followers
RT @DomSteinhoefel: @TaliaRinger Finally managed to do little bit of literature research on topic. Interesting paper by Chockler, Kupferman…
301 followers
@TaliaRinger Finally managed to do little bit of literature research on topic. Interesting paper by Chockler, Kupferman and @vardi: https://t.co/cFHiu1vfdx: Various metrics, basically check satisfaction of Spec for (systematically gen.) mutants of Impl. Al