Marie-Christine Jakobs | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Tim Pollandt
1 publication

research

∙ 09/04/2023

Incorporating Data Dependencies and Properties in Difference Verification with Conditions (Technical Report)

Software changes frequently. To efficiently deal with such frequent chan...

0 Marie-Christine Jakobs, et al. ∙

research

∙ 01/22/2021

PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report)

Refactorings must not alter the program's functionality. However, not al...

0 Marie-Christine Jakobs, et al. ∙