Verification Witnesses. - BEYER, DIRK; DANGL, MATTHIAS; DIETSCH, DANIEL; HEIZMANN, MATTHIAS; LEMBERGER, THOMAS; TAUTSCHNIG, MICHAEL (ACM Transactions on Software Engineering & Methodology, 2022)