Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting
Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi · Electronic Notes in Theoretical Computer Science · 2001
We propose a methodology to evaluate a rich set of BDD subsetting heuristics with respect to bug hunting and apply it to a set of real-life Intel designs. Our results illustrate that the evaluation metrics used to rate these heuristics in previous work were not tuned for bug-finding efficiency, which we believe is the major criterion that the heuristics need to meet.