Thomas Lemberger

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 18

Top Topics

Component Based Architecture

Test Generation

Temporal Properties

Pspace Complete

Top Venues

Publications

Dirk Beyer, Matthias Kettl, Thomas Lemberger
Fault Localization on Verification Witnesses (Poster Paper). ICSE Companion (2024)
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
CPAchecker 2.3 with Strategy Selection - (Competition Contribution). TACAS (3) (2024)
Dirk Beyer, Matthias Kettl, Thomas Lemberger
Decomposing Software Verification using Distributed Summary Synthesis. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim
Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components. Software Engineering (2023)
Matthias Kettl, Thomas Lemberger
The Static Analyzer Infer in SV-COMP (Competition Contribution). TACAS (2) (2022)
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig
Verification Witnesses. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Dirk Beyer, Thomas Lemberger, Jan Haltermann, Heike Wehrheim
Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR. ICSE (2022)
Thomas Lemberger
Plain random test generation with PRTest. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Dirk Beyer, Lars Grunske, Thomas Lemberger, Minxing Tang
Towards a Benchmark Set for Program Repair Based on Partial Fixes. CoRR (2021)
Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger
Difference Verification with Conditions. SEFM (2020)
Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim
Combining Verifiers in Conditional Model Checking via Reducers. SE/SWM (2019)
Dirk Beyer, Thomas Lemberger
Conditional Testing - Off-the-Shelf Combination of Test-Case Generators. ATVA (2019)
Dirk Beyer, Thomas Lemberger
TestCov: Robust Test-Suite Execution and Coverage Measurement. ASE (2019)
Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim
Reducer-based construction of conditional verifiers. ICSE (2018)
Dirk Beyer, Matthias Dangl, Thomas Lemberger, Michael Tautschnig
Tests from Witnesses - Execution-Based Validation of Verification Results. TAP@STAF (2018)
Dirk Beyer, Thomas Lemberger
CPA-SymExec: efficient symbolic execution in CPAchecker. ASE (2018)
Dirk Beyer, Thomas Lemberger
Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art. Haifa Verification Conference (2017)
Dirk Beyer, Thomas Lemberger
Symbolic Execution with CEGAR. ISoLA (1) (2016)