Richter, Cedric ; Haltermann, Jan ; Jakobs, Marie-Christine ; Pauck, Felix ; Schott, Stefan ; Wehrheim, Heike
Hrsg.: Engels, Gregor ; Hebig, Regina ; Tichy, Matthias (2023)
Variable Misuse Detection: Software Developers versus Neural Bug Detectors.
Software Engineering 2023 - Fachtagung des GI-Fachbereichs Softwaretechnik. Paderborn, Germany (20.02.2023-24.02.2023)
Konferenzveröffentlichung, Bibliographie

Jakobs, Marie-Christine (2022)
Automatic Test-Case Generation with CoVeriTest (Extended Abstract).
16th International Conference on Tests and Proofs. Nantes, France (05.07.2022-05.07.2022)
doi: 10.1007/978-3-031-09827-7_1
Konferenzveröffentlichung, Bibliographie

Jakobs, Marie-Christine ; Wiesner, Maik
Hrsg.: Johnsen, Einar Broch ; Wimmer, Manuel (2022)
PEQtest: Testing Functional Equivalence.
25th International Conference on Fundamental Approaches to Software Engineering. Munich, Germany (02.04.2022-07.04.2022)
doi: 10.1007/978-3-030-99429-7_11
Konferenzveröffentlichung, Bibliographie

Richter, Cedric ; Haltermann, Jan ; Jakobs, Marie-Christine ; Pauck, Felix ; Schott, Stefan ; Wehrheim, Heike (2022)
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?
37th IEEE/ACM International Conference on Automated Software Engineering. Rochester, USA (10.10.2022-14.10.2022)
doi: 10.1145/3551349.3561156
Konferenzveröffentlichung, Bibliographie

Jakobs, Marie-Christine
Hrsg.: ter Beek, Maurice H. ; Monahan, Rosemary (2022)
Reusing Predicate Precision in Value Analysis.
17th International Conference on integrated Formal Methods. Lugano, Switzerland (07.06.2022-10.06.2022)
doi: 10.1007/978-3-031-07727-2_5
Konferenzveröffentlichung, Bibliographie

Jakobs, Marie-Christine (2021)
CoVeriTest: interleaving value and predicate analysis for test-case generation.
In: International Journal on Software Tools for Technology Transfer, 23 (6)
doi: 10.1007/s10009-020-00572-1
Artikel, Bibliographie

Jakobs, Marie-Christine
Hrsg.: Laarman, Alfons ; Sokolova, Ana (2021)
PatEC: Pattern-Based Equivalence Checking.
27th International Symposium on Model Checking Software (SPIN 2021). virtual Conference (12.07.2021-12.07.2021)
doi: 10.1007/978-3-030-84629-9_7
Konferenzveröffentlichung, Bibliographie

Wiesner, Maik ; Jakobs, Marie-Christine
Hrsg.: Laarman, Alfons ; Sokolova, Ana (2021)
Verifying Pipeline Implementations in OpenMP.
27th International Symposium on Model Checking Software (SPIN 2021). virtual Conference (12.07.2021-12.07.2021)
doi: 10.1007/978-3-030-84629-9_5
Konferenzveröffentlichung, Bibliographie

Jakobs, Marie-Christine (2021)
PEQCHECK: Localized and Context-aware Checking of Functional Equivalence.
9th International Conference on Formal Methods in Software Engineering. virtual Conference (22.05.2021-30.05.2021)
doi: 10.1109/FormaliSE52586.2021.00019
Konferenzveröffentlichung, Bibliographie

Jakobs, Marie-Christine ; Richter, Cedric (2021)
CoVeriTest with Adaptive Time Scheduling (Competition Contribution).
24th International Conference on Fundamental Approaches to Software Engineering. virtual Conference (27.04.2021-01.04.2021)
doi: 10.1007/978-3-030-71500-7_18
Konferenzveröffentlichung, Bibliographie

Beyer, Dirk ; Jakobs, Marie-Christine (2021)
Cooperative verifier-based testing with CoVeriTest.
In: International Journal on Software Tools for Technology Transfer, 23 (3)
doi: 10.1007/s10009-020-00587-8
Artikel, Bibliographie

Jakobs, Marie-Christine ; Mantel, Heiko
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2020)
A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations.
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). virtual Conference (20.10.2020-30.10.2020)
doi: 10.1007/978-3-030-61470-6_6
Konferenzveröffentlichung, Bibliographie

Richter, Cedric ; Hüllermeier, Eyke ; Jakobs, Marie-Christine ; Wehrheim, Heike (2020)
Algorithm selection for software validation based on graph kernels.
In: Automated Software Engineering, 27 (1-2)
doi: 10.1007/s10515-020-00270-x
Artikel, Bibliographie

Jakobs, Marie-Christine (2020)
CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution).
ETAPS. Dublin, Irland (25.04.2020-30.04.2020)
doi: 10.1007/978-3-030-45234-6_30
Konferenzveröffentlichung, Bibliographie

Beyer, Dirk ; Jakobs, Marie-Christine
Hrsg.: Felderer, Michael ; Hasselbring, Wilhelm ; Rabiser, Rick ; Jung, Reiner (2020)
Cooperative Test-Case Generation with Verifiers.
Tagung Software Engineering der Gesellschaft für Informatik 2020. Innsbruck, Österreich (24.02.2020-28.02.2020)
doi: 10.18420/SE2020_31
Konferenzveröffentlichung, Bibliographie

Beyer, Dirk ; Lemberger, Thomas ; Jakobs, Marie-Christine
Hrsg.: de Boer, Frank S. ; Cerone, Antonio (2020)
Difference Verification with Conditions.
virtual Conference (14.09.2020-18.09.2020)
doi: 10.1007/978-3-030-58768-0_8
Konferenzveröffentlichung, Bibliographie

Beyer, Dirk ; Jakobs, Marie-Christine
Hrsg.: de Boer, Frank S. ; Cerone, Antonio (2020)
FRed: Conditional Model Checking via Reducers and Folders.
virtual Conference (14.09.2020-18.09.2020)
doi: 10.1007/978-3-030-58768-0_7
Konferenzveröffentlichung, Bibliographie

Ruland, Sebastian ; Lochau, Malte ; Jakobs, Marie-Christine (2020)
HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution).
ETAPS 2020. Dublin, Irland (25.04.2020-30.04.2020)
doi: 10.1007/978-3-030-45234-6_26
Konferenzveröffentlichung, Bibliographie

Isenberg, Tobias ; Jakobs, Marie-Christine ; Pauck, Felix ; Wehrheim, Heike
Hrsg.: Beyer, Dirk ; Keller, Chantal (2019)
When are Software Verification Results valid for Approximate Hardware?
TAP 2019-13th International Conference on Tests and Proofs. Porto, Portugal (09.10.2019-11.10.2019)
doi: 10.1007/978-3-030-31157-5_1
Konferenzveröffentlichung, Bibliographie