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 | 63 | 2017 |
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 | 45 | 2018 |
Reducer-based construction of conditional verifiers D Beyer, MC Jakobs, T Lemberger, H Wehrheim Proceedings of the 40th International Conference on Software Engineering …, 2018 | 41 | 2018 |
Symbolic execution with CEGAR D Beyer, T Lemberger International Symposium on Leveraging Applications of Formal Methods, 195-211, 2016 | 27 | 2016 |
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 | 19 | 2022 |
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 | 14 | 2022 |
Conditional testing: Off-the-shelf combination of test-case generators D Beyer, T Lemberger Automated Technology for Verification and Analysis: 17th International …, 2019 | 14 | 2019 |
Plain random test generation with PRTest T Lemberger International Journal on Software Tools for Technology Transfer 23, 871-873, 2021 | 12 | 2021 |
Difference verification with conditions D Beyer, MC Jakobs, T Lemberger Software Engineering and Formal Methods: 18th International Conference, SEFM …, 2020 | 8 | 2020 |
CPA-SymExec: efficient symbolic execution in CPAchecker D Beyer, T Lemberger Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 7 | 2018 |
The static analyzer Infer in SV-COMP (competition contribution) M Kettl, T Lemberger International Conference on Tools and Algorithms for the Construction and …, 2022 | 5 | 2022 |
Combining Verifiers in Conditional Model Checking via Reducers D Beyer, MC Jakobs, T Lemberger, H Wehrheim Software Engineering and Software Management 2019, 2019 | 4 | 2019 |
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 | 3 | 2021 |
Fault Localization on Verification Witnesses (Poster Paper) D Beyer, M Kettl, T Lemberger | 1 | 2024 |
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 | | |