| Just test what you cannot verify! M Czech, MC Jakobs, H Wehrheim International Conference on Fundamental Approaches to Software Engineering …, 2015 | 51 | 2015 |
| 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 |
| CoVeriTest: Cooperative Verifier-Based Testing. D Beyer, MC Jakobs FASE, 389-408, 2019 | 47 | 2019 |
| Algorithm selection for software validation based on graph kernels C Richter, E Hüllermeier, MC Jakobs, H Wehrheim Automated Software Engineering 27 (1), 153-186, 2020 | 39 | 2020 |
| Predicting rankings of software verification tools M Czech, E Hüllermeier, MC Jakobs, H Wehrheim Proceedings of the 3rd ACM SIGSOFT International Workshop on Software …, 2017 | 32 | 2017 |
| Certification for configurable program analysis MC Jakobs, H Wehrheim Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014 | 24 | 2014 |
| HybridTiger: Hybrid model checking and domination-based partitioning for efficient multi-goal test-suite generation (competition contribution) S Ruland, M Lochau, MC Jakobs Fundamental Approaches to Software Engineering 12076, 520, 2020 | 18 | 2020 |
| PEQcheck: Localized and context-aware checking of functional equivalence MC Jakobs 2021 IEEE/ACM 9th International Conference on Formal Methods in Software …, 2021 | 14 | 2021 |
| Difference verification with conditions D Beyer, MC Jakobs, T Lemberger Software Engineering and Formal Methods: 18th International Conference, SEFM …, 2020 | 12 | 2020 |
| Cooperative verifier-based testing with CoVeriTest D Beyer, MC Jakobs International Journal on Software Tools for Technology Transfer 23, 313-333, 2021 | 11 | 2021 |
| CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution). MC Jakobs FASE, 540-544, 2020 | 11 | 2020 |
| Speed up configurable certificate validation by certificate reduction and partitioning MC Jakobs SEFM 2015 Collocated Workshops, 159-174, 2015 | 11 | 2015 |
| PEQtest: Testing functional equivalence MC Jakobs, M Wiesner International Conference on Fundamental Approaches to Software Engineering …, 2022 | 9 | 2022 |
| CoVeriTest with adaptive time scheduling (competition contribution) MC Jakobs, C Richter Fundamental Approaches to Software Engineering 12649, 358, 2021 | 9 | 2021 |
| Compact proof witnesses MC Jakobs, H Wehrheim NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017 | 9 | 2017 |
| Programs from proofs of predicated dataflow analyses MC Jakobs, H Wehrheim Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1729-1736, 2015 | 9 | 2015 |
| Parallel program analysis via range splitting J Haltermann, MC Jakobs, C Richter, H Wehrheim International Conference on Fundamental Approaches to Software Engineering …, 2023 | 8 | 2023 |
| Programs from proofs: A framework for the safe execution of untrusted software MC Jakobs, H Wehrheim ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (2), 1-56, 2017 | 8 | 2017 |
| Validity of software verification results on approximate hardware T Isenberg, MC Jakobs, F Pauck, H Wehrheim IEEE Embedded Systems Letters 10 (1), 22-25, 2017 | 7 | 2017 |
| CoVeriTest: interleaving value and predicate analysis for test-case generation MC Jakobs International journal on software tools for technology transfer 23, 847-851, 2021 | 6 | 2021 |
