Roman Manevich, John Field, Thomas A. Henzinger, Ganesan Ramalingam, Mooly Sagiv. Abstract Counterexample-Based Refinement for Powerset Domains. In Thomas W. Reps, Mooly Sagiv, Jörg Bauer, editors, Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. Volume 4444 of Lecture Notes in Computer Science, pages 273-292, Springer, 2006. [doi]
Abstract is missing.