Marie-Christine Jakobs
Marie-Christine Jakobs
Verified email at
Cited by
Cited by
Just test what you cannot verify!
M Czech, MC Jakobs, H Wehrheim
International Conference on Fundamental Approaches to Software Engineering …, 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
Certification for configurable program analysis
MC Jakobs, H Wehrheim
Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 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
CoVeriTest: Cooperative Verifier-Based Testing.
D Beyer, MC Jakobs
FASE, 389-408, 2019
Speed up configurable certificate validation by certificate reduction and partitioning
MC Jakobs
SEFM 2015 Collocated Workshops, 159-174, 2015
Compact proof witnesses
MC Jakobs, H Wehrheim
NASA Formal Methods Symposium, 389-403, 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
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
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
HybridTiger: Hybrid model checking and domination-based partitioning for efficient multi-goal test-suite generation (competition contribution)
S Ruland, M Lochau, MC Jakobs
International Conference on Fundamental Approaches to Software Engineering …, 2020
CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution).
MC Jakobs
FASE, 540-544, 2020
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
CoVeriTest: interleaving value and predicate analysis for test-case generation
MC Jakobs
International Journal on Software Tools for Technology Transfer, 1-5, 2020
CoVeriTest with adaptive time scheduling (competition contribution)
MC Jakobs, C Richter
Fundamental Approaches to Software Engineering 12649, 358, 2021
A unifying framework for dynamic monitoring and a taxonomy of optimizations
MC Jakobs, H Mantel
International Symposium on Leveraging Applications of Formal Methods, 72-92, 2020
JMCTest: Automatically Testing Inter-Method Contracts in Java
P Börding, J Haltermann, MC Jakobs, H Wehrheim
IFIP International Conference on Testing Software and Systems, 39-55, 2018
On-The-Fly Safety Checking-Customizing Program Certification and Program Restructuring
MC Jakobs
Ausgezeichnete Informatikdissertationen 2017, 2018
PART: From Partial Analysis Results to a Proof Witness
MC Jakobs
International Conference on Software Engineering and Formal Methods, 120-135, 2017
Deriving approximation tolerance constraints from verification runs
T Isenberg, MC Jakobs, F Pauck, H Wehrheim
arXiv preprint arXiv:1604.08784, 2016
The system can't perform the operation now. Try again later.
Articles 1–20