Wolverine: Battling Bugs with Interpolants - (Competition Contribution).

Georg Weissenbacher, Daniel Kroening, Sharad Malik

Browse the full TACAS paper archive.