Symbolic Execution with CEGAR. - Dirk Beyer 001; Thomas Lemberger 002 (ISoLA (1), 2016)

Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art. - Dirk Beyer 001; Thomas Lemberger 002 (Haifa Verification Conference, 2017)

Reducer-based construction of conditional verifiers. - Dirk Beyer 001; Marie-Christine Jakobs; Thomas Lemberger 002; Heike Wehrheim (ICSE, 2018)

CPA-SymExec: efficient symbolic execution in CPAchecker. - Dirk Beyer 001; Thomas Lemberger 002 (ASE, 2018)

Tests from Witnesses - Execution-Based Validation of Verification Results. - Dirk Beyer 001; Matthias Dangl; Thomas Lemberger 002; Michael Tautschnig (TAP@STAF, 2018)

Replication Package for Article "Software Verification: Testing vs. Model Checking", Proc. HVC'17. - Dirk Beyer 001; Thomas Lemberger 002 (Zenodo, 2018)

Replication Package for ISoLA 2016 Article 'Symbolic Execution with CEGAR'. - Dirk Beyer 001; Thomas Lemberger 002 (Zenodo, 2018)

SV-Benchmarks: Benchmark set of 5th Intl. Competition on Software Verification (SV-COMP'16). - Dirk Beyer 001; Thomas Lemberger 002 (Zenodo, 2018)

SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS). - Dirk Beyer 001; Thomas Lemberger 002; Philipp Wendler (Zenodo, 2018)

SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS). - Dirk Beyer 001; Thomas Lemberger 002; Philipp Wendler (Zenodo, 2018)

Reproduction Package for ICSE 2018 Article 'Reducer-Based Construction of Conditional Verifiers'. - Dirk Beyer 001; Marie-Christine Jakobs; Thomas Lemberger 002; Heike Wehrheim (Zenodo, 2018)

Replication Package for Article "CPA-SymExec: Efficient Symbolic Execution in CPAchecker". - Dirk Beyer 001; Thomas Lemberger 002 (Zenodo, 2018)

Reproduction Package for ASE 2018 Article 'CPA-SymExec: Efficient Symbolic Execution in CPAchecker'. - Dirk Beyer 001; Thomas Lemberger 002 (Zenodo, 2018)

Conditional Testing - Off-the-Shelf Combination of Test-Case Generators. - Dirk Beyer 001; Thomas Lemberger 002 (ATVA, 2019)

TestCov: Robust Test-Suite Execution and Coverage Measurement. - Dirk Beyer 001; Thomas Lemberger 002 (ASE, 2019)

Combining Verifiers in Conditional Model Checking via Reducers. - Dirk Beyer 001; Marie-Christine Jakobs; Thomas Lemberger 002; Heike Wehrheim (SE/SWM, 2019)

Replication Artifact for Article "Conditional Testing: Off-the-Shelf Combination of Test-Case Generators". - Dirk Beyer 001; Thomas Lemberger 002 (Zenodo, 2019)

Reproduction Package for Article ASE 2019 'TestCov: Robust Test-Suite Execution and Coverage Measurement'. - Dirk Beyer 001; Thomas Lemberger 002 (Zenodo, 2019)

Reproduction Package for ATVA 2019 Article 'Conditional Testing: Off-the-Shelf Combination of Test-Case Generators'. - Dirk Beyer 001; Thomas Lemberger 002 (Zenodo, 2019)

Difference Verification with Conditions. - Dirk Beyer 001; Marie-Christine Jakobs; Thomas Lemberger 002 (SEFM, 2020)

Reproduction Package for TOSEM Article 'Verification Witnesses'. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann; Thomas Lemberger 002; Michael Tautschnig (Zenodo, 2020)

Replication Package for Article 'Difference Verification with Conditions'. - Dirk Beyer 001; Thomas Lemberger 002; Marie-Christine Jakobs (Zenodo, 2020)

Reproduction Package for SEFM 2020 Article 'Difference Verification with Conditions'. - Dirk Beyer 001; Marie-Christine Jakobs; Thomas Lemberger 002 (Zenodo, 2020)

Towards a Benchmark Set for Program Repair Based on Partial Fixes. - Dirk Beyer 001; Lars Grunske; Thomas Lemberger 002; Minxing Tang (CoRR, 2021)

Plain random test generation with PRTest. - Thomas Lemberger 002 (Int. J. Softw. Tools Technol. Transf., 2021)

Benchmark Set for Program Repair Based on Partial Fixes. - Dirk Beyer 001; Lars Grunske; Thomas Lemberger 002; Minxing Tang (Zenodo, 2021)

Reproduction Package (Reduced Version) for Article "Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR". - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (Zenodo, 2021)

Reproduction Package (Full Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'. - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (Zenodo, 2021)

Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR. - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (ICSE, 2022)

The Static Analyzer Infer in SV-COMP (Competition Contribution). - Matthias Kettl; Thomas Lemberger 002 (TACAS (2), 2022)

Verification Witnesses. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann; Thomas Lemberger 002; Michael Tautschnig (ACM Trans. Softw. Eng. Methodol., 2022)

Towards cooperative software verification with test generation and formal verification. - Thomas Lemberger 002 (2022)

Reproduction Package (VM Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'. - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (Zenodo, 2022)

CPAchecker Release 2.1.1 (unix). - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim; Philipp Wendler (Zenodo, 2022)

Reproduction Package (VM Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'. - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (Zenodo, 2022)

Reproduction Package for STTT Submission 'Five Years Later: Testing vs. Model Checking'. - Dirk Beyer 001; Thomas Lemberger 002 (Zenodo, 2022)

Reproduction Package for SEFM 2022 Submission 'Fault Localization on Verification Witnesses'. - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (Zenodo, 2022)

Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components. - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (Software Engineering, 2023)

Reproduction Package for ICSE 2024 Submission 'Fault Localization on Verification Witnesses'. - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (Zenodo, 2023)

Reproduction Package for TACAS 2024 Submission 'CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers'. - Dirk Beyer 001; Thomas Lemberger 002; Henrik Wachowitz (Zenodo, 2023)

Reproduction Package for STTT Submission 'Six Years Later: Testing vs. Model Checking'. - Dirk Beyer 001; Thomas Lemberger 002 (Zenodo, 2023)

CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers. - Dirk Beyer 001; Thomas Lemberger 002; Henrik Wachowitz (ATVA (2), 2024)

Software Verification with CPAchecker 3.0: Tutorial and User Guide. - Daniel Baier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (FM (2), 2024)

Fault Localization on Verification Witnesses (Poster Paper). - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (ICSE Companion, 2024)

CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification. - Thomas Lemberger 002; Henrik Wachowitz (ASE, 2024)

Fault Localization on Verification Witnesses. - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (SPIN, 2024)

CPAchecker 2.3 with Strategy Selection - (Competition Contribution). - Daniel Baier; Dirk Beyer 001; Po-Chun Chien; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Martin Spiessl; Henrik Wachowitz; Philipp Wendler (TACAS (3), 2024)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version). - Daniel Baier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (CoRR, 2024)

Decomposing Software Verification using Distributed Summary Synthesis. - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (Proc. ACM Softw. Eng., 2024)

Reproduction Package for FSE 2024 Revision 'Decomposing Software Verification Using Distributed Summary Synthesis'. - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (Zenodo, 2024)

Reproduction Package for ATVA 2024 Submission 'CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers'. - Dirk Beyer 001; Thomas Lemberger 002; Henrik Wachowitz (Zenodo, 2024)

Cooperative Approaches Across Test Generation and Formal Software Verification. - Thomas Lemberger 002 (Softwaretechnik-Trends, 2024)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)

Reproduction Package for FSE 2024 Article 'Decomposing Software Verification Using Distributed Summary Synthesis'. - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (Zenodo, 2024)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)

CPA-Daemon. - Dirk Beyer 001; Thomas Lemberger 002; Henrik Wachowitz (Zenodo, 2024)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)

Six years later: testing vs. model checking. - Dirk Beyer 001; Thomas Lemberger 002 (Int. J. Softw. Tools Technol. Transf., 2024)

Nacpa: Native Checking with Parallel-Portfolio Analyses - (Competition Contribution). - Thomas Lemberger 002; Henrik Wachowitz (TACAS (3), 2025)