| 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 | 78 | 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 | 56 | 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 | 48 | 2018 |
| 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 | 40 | 2022 |
| Symbolic execution with CEGAR D Beyer, T Lemberger International Symposium on Leveraging Applications of Formal Methods, 195-211, 2016 | 32 | 2016 |
| TestCov: Robust Test-Suite Execution and Coverage Measurement D Beyer, T Lemberger | 28* | |
| 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 | 25 | 2022 |
| Conditional testing: Off-the-shelf combination of test-case generators D Beyer, T Lemberger Automated Technology for Verification and Analysis: 17th International …, 2019 | 20 | 2019 |
| Plain random test generation with PRTest T Lemberger International Journal on Software Tools for Technology Transfer 23, 871-873, 2021 | 17 | 2021 |
| CPAchecker 2.3 with Strategy Selection: (Competition Contribution) D Baier, D Beyer, PC Chien, M Jankola, M Kettl, NZ Lee, T Lemberger, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 15 | 2024 |
| CPA-SymExec: efficient symbolic execution in CPAchecker D Beyer, T Lemberger Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 13 | 2018 |
| Difference verification with conditions D Beyer, MC Jakobs, T Lemberger Software Engineering and Formal Methods: 18th International Conference, SEFM …, 2020 | 12 | 2020 |
| The static analyzer Infer in SV-COMP (competition contribution) M Kettl, T Lemberger International Conference on Tools and Algorithms for the Construction and …, 2022 | 8 | 2022 |
| Software Verification with CPAchecker 3.0: Tutorial and User Guide D Baier, D Beyer, PC Chien, MC Jakobs, M Jankola, M Kettl, NZ Lee, ... International Symposium on Formal Methods, 543-570, 2024 | 5 | 2024 |
| 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 | 4 | 2021 |
| 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 |
| Decomposing Software Verification using Distributed Summary Synthesis D Beyer, M Kettl, T Lemberger Proceedings of the ACM on Software Engineering 1 (FSE), 1307-1329, 2024 | 3 | 2024 |
| Fault Localization on Verification Witnesses (Poster Paper) D Beyer, M Kettl, T Lemberger Proceedings of the 2024 IEEE/ACM 46th International Conference on Software …, 2024 | 1 | 2024 |
| Towards cooperative software verification with test generation and formal verification T Lemberger lmu, 2022 | 1 | 2022 |
| CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification T Lemberger, H Wachowitz Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | | 2024 |
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerificeret mail på lmu.de