Thomas Lemberger

30 papers A* 5B 4C 1Journal 7Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	A Case Study in Firmware Verification: Applying Formal Methods to Intel$^\circledR $ TDX Module. TACAS (2) Dirk Beyer, Po-Chun Chien, Bo-Yuan Huang, Nian-Ze Lee, Thomas Lemberger
2026	B	`conf`	AFL-TC: Transforming Fuzzer Test Inputs for Test-Comp (Competition Contribution). FASE Thomas Lemberger, Henrik Wachowitz
2026	B	`conf`	Testing in Formal Verification via Witness Generation (Empirical Evaluation). FASE Dirk Beyer, Thomas Lemberger, Henrik Wachowitz
2025	—	`conf`	Nacpa: Native Checking with Parallel-Portfolio Analyses - (Competition Contribution). TACAS (3) Thomas Lemberger, Henrik Wachowitz
2024	—	`conf`	CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers. ATVA (2) Dirk Beyer, Thomas Lemberger, Henrik Wachowitz
2024	—	`conf`	CPAchecker 2.3 with Strategy Selection - (Competition Contribution). TACAS (3) 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
2024	A*	`conf`	CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification. ASE Thomas Lemberger, Henrik Wachowitz
2024	J	`jnl`	Cooperative Approaches Across Test Generation and Formal Software Verification. Softwaretechnik-Trends Thomas Lemberger
2024	J	`jnl`	Decomposing Software Verification using Distributed Summary Synthesis. Proc. ACM Softw. Eng. Dirk Beyer, Matthias Kettl, Thomas Lemberger
2024	—	`conf`	Fault Localization on Verification Witnesses (Poster Paper). ICSE Companion Dirk Beyer, Matthias Kettl, Thomas Lemberger
2024	—	`conf`	Fault Localization on Verification Witnesses. SPIN Dirk Beyer, Matthias Kettl, Thomas Lemberger
2024	J	`jnl`	Six years later: testing vs. model checking. Int. J. Softw. Tools Technol. Transf. Dirk Beyer, Thomas Lemberger
2024	J	`jnl`	Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version). CoRR 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
2024	—	`conf`	Software Verification with CPAchecker 3.0: Tutorial and User Guide. FM (2) 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
2023	C	`conf`	Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components. Software Engineering Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim
2022	A*	`conf`	Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR. ICSE Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim
2022	—	`conf`	The Static Analyzer Infer in SV-COMP (Competition Contribution). TACAS (2) Matthias Kettl, Thomas Lemberger
2022	—	`—`	Towards cooperative software verification with test generation and formal verification. Thomas Lemberger
2022	J	`jnl`	Verification Witnesses. ACM Trans. Softw. Eng. Methodol. Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig
2021	J	`jnl`	Plain random test generation with PRTest. Int. J. Softw. Tools Technol. Transf. Thomas Lemberger
2021	J	`jnl`	Towards a Benchmark Set for Program Repair Based on Partial Fixes. CoRR Dirk Beyer, Lars Grunske, Thomas Lemberger, Minxing Tang
2020	B	`conf`	Difference Verification with Conditions. SEFM Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger
2019	—	`conf`	Combining Verifiers in Conditional Model Checking via Reducers. SE/SWM Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim
2019	B	`conf`	Conditional Testing - Off-the-Shelf Combination of Test-Case Generators. ATVA Dirk Beyer, Thomas Lemberger
2019	A*	`conf`	TestCov: Robust Test-Suite Execution and Coverage Measurement. ASE Dirk Beyer, Thomas Lemberger
2018	A*	`conf`	CPA-SymExec: efficient symbolic execution in CPAchecker. ASE Dirk Beyer, Thomas Lemberger
2018	A*	`conf`	Reducer-based construction of conditional verifiers. ICSE Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim
2018	—	`conf`	Tests from Witnesses - Execution-Based Validation of Verification Results. TAP@STAF Dirk Beyer, Matthias Dangl, Thomas Lemberger, Michael Tautschnig
2017	—	`conf`	Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art. Haifa Verification Conference Dirk Beyer, Thomas Lemberger
2016	—	`conf`	Symbolic Execution with CEGAR. ISoLA (1) Dirk Beyer, Thomas Lemberger