Thomas Lemberger
Title
Cited by
Cited by
Year
Software verification: Testing vs. model checking
D Beyer, T Lemberger
Haifa Verification Conference, 99-114, 2017
352017
Tests from Witnesses
D Beyer, M Dangl, T Lemberger, M Tautschnig
International Conference on Tests and Proofs, 3-23, 2018
182018
Reducer-based construction of conditional verifiers
D Beyer, MC Jakobs, T Lemberger, H Wehrheim
Proceedings of the 40th International Conference on Software Engineering …, 2018
172018
Symbolic execution with CEGAR
D Beyer, T Lemberger
International Symposium on Leveraging Applications of Formal Methods, 195-211, 2016
152016
CPA-SymExec: efficient symbolic execution in CPAchecker
D Beyer, T Lemberger
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
22018
TestCov: Robust Test-Suite Execution and Coverage Measurement
D Beyer, T Lemberger
2*
Plain random test generation with PRTest
T Lemberger
International Journal on Software Tools for Technology Transfer, 1-3, 2020
2020
Conditional Testing
D Beyer, T Lemberger
International Symposium on Automated Technology for Verification and …, 2019
2019
Combining Verifiers in Conditional Model Checking via Reducers
D Beyer, MC Jakobs, T Lemberger, H Wehrheim
Software Engineering and Software Management 2019, 2019
2019
Abstraction Refinement for Model Checking: Program Slicing+ CEGAR
T Lemberger
2018
Efficient Symbolic Execution using CEGAR over Two Abstract Domains
T Lemberger
2015
Difference Verification with Conditions
D Beyer, MC Jakobs, T Lemberger
The system can't perform the operation now. Try again later.
Articles 1–12