Liggesmeyer, P.2022-03-022022-03-0219923-540-55860-80-387-55860-8https://publica.fraunhofer.de/handle/publica/129124Testen, Analysieren und Verifizieren von Software