Counterexample Ranking Using Mined Invariants | IEEE Journals & Magazine | IEEE Xplore