Pietschker, Andrej2023-03-132023-03-132015https://dl.gi.de/handle/20.500.12116/40766de38. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV 38) 15. und 16. Oktober 2015, s-Lab, PaderbornText/Journal Article0720-8928