Publications

Found 12 results
Filters: Autor is Marie-Christine Jakobs  [Clear All Filters]
2022
M. - C. Jakobs, „Automatic Test-Case Generation with CoVeriTest (Extended Abstract)“, in Proceedings of the 16th International Conference on Tests and Proofs (TAP), 2022, S. 3-8.
M. - C. Jakobs und Wiesner, M., „PEQtest: Testing Functional Equivalence“, in Proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering (FASE), 2022, S. 184-204.
M. - C. Jakobs, „Reusing Predicate Precision in Value Analysis“, in Proceedings of the 17th International Conference on Integrated Formal Methods (IFM), 2022, S. 63-85.
2021
D. Beyer und Jakobs, M. - C., „Cooperative verifier-based testing with CoVeriTest“, International Journal on Software Tools for Technology Transfer, Bd. 23, S. 313-333, 2021.
M. - C. Jakobs und Richter, C., „CoVeriTest with Adaptive Time Scheduling (Competition Contribution)“, in Proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering (FASE), 2021, S. 358-362.
M. - C. Jakobs, „PatEC: Pattern-based Equivalence Checking“, in Proceedings of the 27th International Symposium on Model Checking Software (SPIN), 2021, S. 120-139.
M. - C. Jakobs, „PEQcheck: Localized and Context-aware Checking of Functional Equivalence“, in Proceedings of the 9th International Conference on Formal Methods in Software Engineering (FormaliSE), 2021, S. 130-140.
M. - C. Jakobs, „PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report)“, ArXiv E-Print 2101.09042: https://doi.org/10.48550/arXiv.2101.09042. ArXiv, S. 1-37, 2021.
M. Wiesner und Jakobs, M. - C., „Verifying Pipeline Implementations in OpenMP“, in Proceedings of the 27th International Symposium on Model Checking Software (SPIN), 2021, S. 81-98.
2020
M. - C. Jakobs und Mantel, H., „A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations“, in Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2020, S. 72-92.
M. - C. Jakobs, „CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution)“, in Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering (FASE), 2020, S. 540-544.
S. Ruland, Lochau, M., und Jakobs, M. - C., „HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)“, in Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering (FASE), 2020, S. 520-524.