Fault Localization on Verification Witnesses (Poster Paper). - Beyer, Dirk; Kettl, Matthias; Lemberger, Thomas (ICSE: International Conference on Software Engineering, 2024)