| Just test what you cannot verify! M Czech, MC Jakobs, H Wehrheim Fundamental Approaches to Software Engineering: 18th International …, 2015 | 45 | 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 | 35 | 2018 |
| CoVeriTest: Cooperative Verifier-Based Testing. D Beyer, MC Jakobs FASE, 389-408, 2019 | 32 | 2019 |
| 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 | 26 | 2017 |
| Certification for configurable program analysis MC Jakobs, H Wehrheim Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014 | 23 | 2014 |
| Algorithm selection for software validation based on graph kernels C Richter, E Hüllermeier, MC Jakobs, H Wehrheim Automated Software Engineering 27, 153-186, 2020 | 20 | 2020 |
| Speed up configurable certificate validation by certificate reduction and partitioning MC Jakobs Software Engineering and Formal Methods: 13th International Conference, SEFM …, 2015 | 11 | 2015 |
| 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 | 8 | 2020 |
| Programs from proofs of predicated dataflow analyses MC Jakobs, H Wehrheim Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1729-1736, 2015 | 8 | 2015 |
| PEQcheck: Localized and context-aware checking of functional equivalence MC Jakobs 2021 IEEE/ACM 9th International Conference on Formal Methods in Software …, 2021 | 7 | 2021 |
| 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 | 7 | 2017 |
| Compact proof witnesses MC Jakobs, H Wehrheim NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017 | 7 | 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 | 6 | 2017 |
| CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution). MC Jakobs FASE, 540-544, 2020 | 5 | 2020 |
| Difference verification with conditions D Beyer, MC Jakobs, T Lemberger Software Engineering and Formal Methods: 18th International Conference, SEFM …, 2020 | 5 | 2020 |
| CoVeriTest: interleaving value and predicate analysis for test-case generation MC Jakobs International Journal on Software Tools for Technology Transfer 23, 847-851, 2021 | 4 | 2021 |
| Cooperative verifier-based testing with CoVeriTest D Beyer, MC Jakobs International Journal on Software Tools for Technology Transfer 23, 313-333, 2021 | 4 | 2021 |
| CoVeriTest with adaptive time scheduling (competition contribution) MC Jakobs, C Richter Fundamental Approaches to Software Engineering 12649, 358, 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 |
| PEQtest: Testing Functional Equivalence MC Jakobs, M Wiesner Fundamental Approaches to Software Engineering: 25th International …, 2022 | 3 | 2022 |
