Follow
Thomas Lemberger
Title
Cited by
Cited by
Year
Software Verification: Testing vs. Model Checking: A Comparative Evaluation of the State of the Art
D Beyer, T Lemberger
Hardware and Software: Verification and Testing: 13th International Haifa …, 2017
632017
Tests from witnesses: Execution-based validation of verification results
D Beyer, M Dangl, T Lemberger, M Tautschnig
International Conference on Tests and Proofs, 3-23, 2018
452018
Reducer-based construction of conditional verifiers
D Beyer, MC Jakobs, T Lemberger, H Wehrheim
Proceedings of the 40th International Conference on Software Engineering …, 2018
412018
Symbolic execution with CEGAR
D Beyer, T Lemberger
International Symposium on Leveraging Applications of Formal Methods, 195-211, 2016
272016
TestCov: Robust Test-Suite Execution and Coverage Measurement
D Beyer, T Lemberger
22*
Verification witnesses
D Beyer, M Dangl, D Dietsch, M Heizmann, T Lemberger, M Tautschnig
ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-69, 2022
192022
Decomposing software verification into off-the-shelf components: an application to CEGAR
D Beyer, J Haltermann, T Lemberger, H Wehrheim
Proceedings of the 44th International Conference on Software Engineering …, 2022
142022
Conditional testing: Off-the-shelf combination of test-case generators
D Beyer, T Lemberger
Automated Technology for Verification and Analysis: 17th International …, 2019
142019
Plain random test generation with PRTest
T Lemberger
International Journal on Software Tools for Technology Transfer 23, 871-873, 2021
122021
Difference verification with conditions
D Beyer, MC Jakobs, T Lemberger
Software Engineering and Formal Methods: 18th International Conference, SEFM …, 2020
82020
CPA-SymExec: efficient symbolic execution in CPAchecker
D Beyer, T Lemberger
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
72018
The static analyzer Infer in SV-COMP (competition contribution)
M Kettl, T Lemberger
International Conference on Tools and Algorithms for the Construction and …, 2022
52022
Combining Verifiers in Conditional Model Checking via Reducers
D Beyer, MC Jakobs, T Lemberger, H Wehrheim
Software Engineering and Software Management 2019, 2019
42019
Towards a Benchmark Set for Program Repair Based on Partial Fixes
D Beyer, L Grunske, T Lemberger, M Tang
arXiv preprint arXiv:2107.08038, 2021
32021
Fault Localization on Verification Witnesses (Poster Paper)
D Beyer, M Kettl, T Lemberger
12024
Component-based CEGAR-Building Software Verifiers from Off-the-Shelf Components
D Beyer, J Haltermann, T Lemberger, H Wehrheim
Software Engineering 2023, 2023
2023
Towards cooperative software verification with test generation and formal verification
T Lemberger
lmu, 2022
2022
Abstraction Refinement for Model Checking: Program Slicing+ CEGAR
T Lemberger
2018
Efficient Symbolic Execution using CEGAR over Two Abstract Domains
T Lemberger
2015
The Static Analyzer Infer in SV-COMP
M Kettl, T Lemberger
The system can't perform the operation now. Try again later.
Articles 1–20