| Software verification: Testing vs. model checking D Beyer, T Lemberger Haifa Verification Conference, 99-114, 2017 | 56 | 2017 |
| Tests from Witnesses D Beyer, M Dangl, T Lemberger, M Tautschnig International Conference on Tests and Proofs, 3-23, 2018 | 33 | 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 | 29 | 2018 |
| Symbolic execution with CEGAR D Beyer, T Lemberger International Symposium on Leveraging Applications of Formal Methods, 195-211, 2016 | 22 | 2016 |
| 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 | 8 | 2020 |
| Conditional Testing D Beyer, T Lemberger International Symposium on Automated Technology for Verification and …, 2019 | 6 | 2019 |
| Difference Verification with Conditions D Beyer, MC Jakobs, T Lemberger International Conference on Software Engineering and Formal Methods, 133-154, 2020 | 3 | 2020 |
| Combining Verifiers in Conditional Model Checking via Reducers D Beyer, MC Jakobs, T Lemberger, H Wehrheim Software Engineering and Software Management 2019, 2019 | 3 | 2019 |
| CPA-SymExec: efficient symbolic execution in CPAchecker D Beyer, T Lemberger Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 3 | 2018 |
| Verification witnesses D Beyer, M Dangl, D Dietsch, M Heizmann, T Lemberger, M Tautschnig ACM Transactions on Software Engineering and Methodology, 2022 | 2 | 2022 |
| 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 | 2 | 2021 |
| 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 | 1 | 2022 |
| The static analyzer Infer in SV-COMP (competition contribution) M Kettl, T Lemberger International Conference on Tools and Algorithms for the Construction and …, 2022 | 1 | 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 | | |
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
