Thomas Lemberger

According to our database, Thomas Lemberger authored at least 35 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Decomposing Software Verification using Distributed Summary Synthesis.

Dirk Beyer, Matthias Kettl, Thomas Lemberger

Proc. ACM Softw. Eng., 2024

CPAchecker 2.3 with Strategy Selection - (Competition Contribution).

Daniel Baier, Dirk Beyer, Po-Chun Chien, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Martin Spiessl, Henrik Wachowitz, Philipp Wendler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Fault Localization on Verification Witnesses (Poster Paper).

Dirk Beyer, Matthias Kettl, Thomas Lemberger

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

Software Verification with CPAchecker 3.0: Tutorial and User Guide.

Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components.

Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim

Proceedings of the Software Engineering 2023, 2023

2022

Towards cooperative software verification with test generation and formal verification.

Thomas Lemberger

PhD thesis, 2022

Verification Witnesses.

Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig

ACM Trans. Softw. Eng. Methodol., 2022

The Static Analyzer Infer in SV-COMP (Competition Contribution).

Matthias Kettl, Thomas Lemberger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR.

Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Benchmark Set for Program Repair Based on Partial Fixes.

Dirk Beyer, Lars Grunske, Thomas Lemberger, Minxing Tang

Dataset, July, 2021

Plain random test generation with PRTest.

Thomas Lemberger

Int. J. Softw. Tools Technol. Transf., 2021

Towards a Benchmark Set for Program Repair Based on Partial Fixes.

Dirk Beyer, Lars Grunske, Thomas Lemberger, Minxing Tang

CoRR, 2021

2020

Reproduction Package for SEFM 2020 Article 'Difference Verification with Conditions'.

Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger

Dataset, July, 2020

Replication Package for Article 'Difference Verification with Conditions'.

Dirk Beyer, Thomas Lemberger, Marie-Christine Jakobs

Dataset, June, 2020

Reproduction Package for TOSEM Article 'Verification Witnesses'.

Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig

Dataset, March, 2020

Difference Verification with Conditions.

Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

2019

Reproduction Package for ATVA 2019 Article 'Conditional Testing: Off-the-Shelf Combination of Test-Case Generators'.

Dirk Beyer, Thomas Lemberger

Dataset, October, 2019

Reproduction Package for Article ASE 2019 'TestCov: Robust Test-Suite Execution and Coverage Measurement'.

Dirk Beyer, Thomas Lemberger

Dataset, September, 2019

Replication Artifact for Article "Conditional Testing: Off-the-Shelf Combination of Test-Case Generators".

Dirk Beyer, Thomas Lemberger

Dataset, June, 2019

Combining Verifiers in Conditional Model Checking via Reducers.

Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim

Proceedings of the Software Engineering and Software Management, 2019

TestCov: Robust Test-Suite Execution and Coverage Measurement.

Dirk Beyer, Thomas Lemberger

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Conditional Testing - Off-the-Shelf Combination of Test-Case Generators.

Dirk Beyer, Thomas Lemberger

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Reproduction Package for ASE 2018 Article 'CPA-SymExec: Efficient Symbolic Execution in CPAchecker'.

Dirk Beyer, Thomas Lemberger

Dataset, July, 2018

Replication Package for Article "CPA-SymExec: Efficient Symbolic Execution in CPAchecker".

Dirk Beyer, Thomas Lemberger

Dataset, May, 2018

Reproduction Package for ICSE 2018 Article 'Reducer-Based Construction of Conditional Verifiers'.

Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim

Dataset, February, 2018

SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS).

Dirk Beyer, Thomas Lemberger, Philipp Wendler

Dataset, January, 2018

SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS).

Dirk Beyer, Thomas Lemberger, Philipp Wendler

Dataset, January, 2018

SV-Benchmarks: Benchmark set of 5th Intl. Competition on Software Verification (SV-COMP'16).

Dirk Beyer, Thomas Lemberger

Dataset, January, 2018

Replication Package for ISoLA 2016 Article 'Symbolic Execution with CEGAR'.

Dirk Beyer, Thomas Lemberger

Dataset, January, 2018

Replication Package for Article "Software Verification: Testing vs. Model Checking", Proc. HVC'17.

Dirk Beyer, Thomas Lemberger

Dataset, January, 2018

Tests from Witnesses - Execution-Based Validation of Verification Results.

Dirk Beyer, Matthias Dangl, Thomas Lemberger, Michael Tautschnig

Proceedings of the Tests and Proofs - 12th International Conference, 2018

CPA-SymExec: efficient symbolic execution in CPAchecker.

Dirk Beyer, Thomas Lemberger

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Reducer-based construction of conditional verifiers.

Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art.

Dirk Beyer, Thomas Lemberger

Proceedings of the Hardware and Software: Verification and Testing, 2017

2016

Symbolic Execution with CEGAR.

Dirk Beyer, Thomas Lemberger

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016