Formal methods for ranking counterexamples through assumption mining | IEEE Conference Publication | IEEE Xplore