Fault Localization on Verification Witnesses (Poster Paper).

Dirk Beyer, Matthias Kettl, Thomas Lemberger

Browse the full ICSE paper archive.