Coverage in interpolation-based model checking (Proceedings of the 47th Design Automation Conference, 2010)

(untitled) - Chockler, H; Kroening, D; Purandare, M