Follow
Thomas Lemberger
Title
Cited by
Cited by
Year
Software verification: Testing vs. model checking
D Beyer, T Lemberger
Haifa Verification Conference, 99-114, 2017
562017
Tests from Witnesses
D Beyer, M Dangl, T Lemberger, M Tautschnig
International Conference on Tests and Proofs, 3-23, 2018
332018
Reducer-based construction of conditional verifiers
D Beyer, MC Jakobs, T Lemberger, H Wehrheim
Proceedings of the 40th International Conference on Software Engineering …, 2018
292018
Symbolic execution with CEGAR
D Beyer, T Lemberger
International Symposium on Leveraging Applications of Formal Methods, 195-211, 2016
222016
TestCov: Robust Test-Suite Execution and Coverage Measurement
D Beyer, T Lemberger
10*
Plain random test generation with PRTest
T Lemberger
International Journal on Software Tools for Technology Transfer, 1-3, 2020
82020
Conditional Testing
D Beyer, T Lemberger
International Symposium on Automated Technology for Verification and …, 2019
62019
Difference Verification with Conditions
D Beyer, MC Jakobs, T Lemberger
International Conference on Software Engineering and Formal Methods, 133-154, 2020
32020
Combining Verifiers in Conditional Model Checking via Reducers
D Beyer, MC Jakobs, T Lemberger, H Wehrheim
Software Engineering and Software Management 2019, 2019
32019
CPA-SymExec: efficient symbolic execution in CPAchecker
D Beyer, T Lemberger
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
32018
Verification witnesses
D Beyer, M Dangl, D Dietsch, M Heizmann, T Lemberger, M Tautschnig
ACM Transactions on Software Engineering and Methodology, 2022
22022
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
22021
Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR
D Beyer, T Lemberger, J Haltermann, H Wehrheim
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE …, 2022
12022
The static analyzer Infer in SV-COMP (competition contribution)
M Kettl, T Lemberger
International Conference on Tools and Algorithms for the Construction and …, 2022
12022
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–17