Thomas Lemberger

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

Collaborative distances:

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

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

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

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

Difference Verification with Conditions.

Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger

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

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

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