| Just test what you cannot verify! M Czech, MC Jakobs, H Wehrheim International Conference on Fundamental Approaches to Software Engineering …, 2015 | 39 | 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 | 29 | 2018 |
| CoVeriTest: Cooperative Verifier-Based Testing. D Beyer, MC Jakobs FASE, 389-408, 2019 | 24 | 2019 |
| Certification for configurable program analysis MC Jakobs, H Wehrheim Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014 | 22 | 2014 |
| 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 | 21 | 2017 |
| 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 | 13 | 2020 |
| Speed up configurable certificate validation by certificate reduction and partitioning MC Jakobs SEFM 2015 Collocated Workshops, 159-174, 2015 | 11 | 2015 |
| Programs from proofs of predicated dataflow analyses MC Jakobs, H Wehrheim Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1729-1736, 2015 | 7 | 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 | 6 | 2020 |
| Compact proof witnesses MC Jakobs, H Wehrheim NASA Formal Methods Symposium, 389-403, 2017 | 6 | 2017 |
| 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 | 6 | 2017 |
| PEQcheck: localized and context-aware checking of functional equivalence MC Jakobs 2021 IEEE/ACM 9th International Conference on Formal Methods in Software …, 2021 | 5 | 2021 |
| 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 | 5 | 2017 |
| Difference verification with conditions D Beyer, MC Jakobs, T Lemberger International Conference on Software Engineering and Formal Methods, 133-154, 2020 | 3 | 2020 |
| FRed: Conditional Model Checking via Reducers and Folders D Beyer, MC Jakobs International Conference on Software Engineering and Formal Methods, 113-132, 2020 | 3 | 2020 |
| CoVeriTest: interleaving value and predicate analysis for test-case generation MC Jakobs International Journal on Software Tools for Technology Transfer, 1-5, 2020 | 3 | 2020 |
| CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution). MC Jakobs FASE, 540-544, 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 |
| PatEC: pattern-based equivalence checking MC Jakobs International Symposium on Model Checking Software, 120-139, 2021 | 2 | 2021 |
| Cooperative verifier-based testing with CoVeriTest D Beyer, MC Jakobs International Journal on Software Tools for Technology Transfer 23 (3), 313-333, 2021 | 2 | 2021 |
