( en | de | ru )

 

Disambiguation of "Jakobs, Marie-Christine"

Author of the publication

copydeleteadd this publication to your clipboard
diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions.

, and . iFM, volume 14300 of Lecture Notes in Computer Science, page 40-61. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christine Jakobs

Marie-Christine Hahn

Marie-Christine Frank

Marie-Christine Becker

Marie-Christine Seghaye

 

Other publications of authors with the same name

CoVeriTest: interleaving value and predicate analysis for test-case generation.. Int. J. Softw. Tools Technol. Transf., 23 (6): 847-851 (2021)Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification., , , and . Software Engineering, volume P-343 of LNI, page 157-158. Gesellschaft für Informatik e.V., (2024)Variable Misuse Detection: Software Developers versus Neural Bug Detectors., , , , , and . Software Engineering, volume P-332 of LNI, page 103-104. Gesellschaft für Informatik e.V., (2023)Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?, , , , , and . ASE, page 9:1-9:12. ACM, (2022)A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations., and . ISoLA (2), volume 12477 of Lecture Notes in Computer Science, page 72-92. Springer, (2020)On-The-Fly safety checking - customizing program certification and program restructuring. Paderborn University, Germany, (2017)base-search.net (ftunivpaderb:oai:digital.ub.uni-paderborn.de:2461273).Automatic Test-Case Generation with CoVeriTest (Extended Abstract).. TAP@STAF, volume 13361 of Lecture Notes in Computer Science, page 3-8. Springer, (2022)Reusing Predicate Precision in Value Analysis.. IFM, volume 13274 of Lecture Notes in Computer Science, page 63-85. Springer, (2022)CoVeriTest: Cooperative Verifier-Based Testing., and . FASE, volume 11424 of Lecture Notes in Computer Science, page 389-408. Springer, (2019)Cooperative verifier-based testing with CoVeriTest., and . Int. J. Softw. Tools Technol. Transf., 23 (3): 313-333 (2021)