Classifying Bugs with Interpolants.

Andreas Podelski, Martin Schf, Thomas Wies

Browse the full TAP paper archive.