Folgen
Marie-Christine Jakobs
Marie-Christine Jakobs
Bestätigte E-Mail-Adresse bei cs.tu-darmstadt.de
Titel
Zitiert von
Zitiert von
Jahr
Just test what you cannot verify!
M Czech, MC Jakobs, H Wehrheim
International Conference on Fundamental Approaches to Software Engineering …, 2015
392015
Reducer-based construction of conditional verifiers
D Beyer, MC Jakobs, T Lemberger, H Wehrheim
Proceedings of the 40th International Conference on Software Engineering …, 2018
292018
CoVeriTest: Cooperative Verifier-Based Testing.
D Beyer, MC Jakobs
FASE, 389-408, 2019
262019
Certification for configurable program analysis
MC Jakobs, H Wehrheim
Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014
222014
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
212017
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
132020
Speed up configurable certificate validation by certificate reduction and partitioning
MC Jakobs
SEFM 2015 Collocated Workshops, 159-174, 2015
112015
Programs from proofs of predicated dataflow analyses
MC Jakobs, H Wehrheim
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1729-1736, 2015
72015
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
62020
Compact proof witnesses
MC Jakobs, H Wehrheim
NASA Formal Methods Symposium, 389-403, 2017
62017
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
62017
PEQcheck: localized and context-aware checking of functional equivalence
MC Jakobs
2021 IEEE/ACM 9th International Conference on Formal Methods in Software …, 2021
52021
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
52017
Cooperative verifier-based testing with CoVeriTest
D Beyer, MC Jakobs
International Journal on Software Tools for Technology Transfer 23 (3), 313-333, 2021
32021
CoVeriTest with adaptive time scheduling (competition contribution)
MC Jakobs, C Richter
Fundamental Approaches to Software Engineering 12649, 358, 2021
32021
Difference verification with conditions
D Beyer, MC Jakobs, T Lemberger
International Conference on Software Engineering and Formal Methods, 133-154, 2020
32020
FRed: Conditional Model Checking via Reducers and Folders
D Beyer, MC Jakobs
International Conference on Software Engineering and Formal Methods, 113-132, 2020
32020
CoVeriTest: interleaving value and predicate analysis for test-case generation
MC Jakobs
International Journal on Software Tools for Technology Transfer, 1-5, 2020
32020
CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution).
MC Jakobs
FASE, 540-544, 2020
32020
Combining verifiers in conditional model checking via reducers
D Beyer, MC Jakobs, T Lemberger, H Wehrheim
Software Engineering and Software Management 2019, 2019
32019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20