"Approximating Predicate Images for Bit-Vector Logic."

Daniel Kroening, Natasha Sharygina (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics