Willem Visser, Seungjoon Park, John Penix. Using predicate abstraction to reduce object-oriented programs for model checking. In Mats Per Erik Heimdahl, editor, Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA. pages 3-182, ACM, 2000. [doi]
Abstract is missing.