The following publications are possibly variants of this publication:
- Witness validation and stepwise testification across software verifiersDirk Beyer 0001, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer. FSE 2015: 721-733 [doi]
- Witness validation and stepwise testification across software verifiersDirk Beyer 0001, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer. se 2016: 105-106 [doi]
- Verification WitnessesDirk Beyer 0001, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger 0002, Michael Tautschnig. TOSEM, 31(4), 2022. [doi]
- Competition on Software Verification and Witness Validation: SV-COMP 2023Dirk Beyer 0001. TACAS 2023: 495-522 [doi]
- Tests from Witnesses - Execution-Based Validation of Verification ResultsDirk Beyer 0001, Matthias Dangl, Thomas Lemberger 0002, Michael Tautschnig. tap 2018: 3-23 [doi]
- State of the Art in Software Verification and Witness Validation: SV-COMP 2024Dirk Beyer 0001. TACAS 2024: 299-329 [doi]
- Case Study on Verification-Witness Validators: Where We Are and Where We GoDirk Beyer 0001, Jan Strejcek. SAS 2022: 160-174 [doi]