Coverage in interpolation-based model checking - Chockler, H; Kroening, D; Purandare, M (Proceedings of the 47th Design Automation Conference, 2010)