Pietschker, Andreij2023-03-022023-03-022017https://dl.gi.de/handle/20.500.12116/40590deBericht: 40. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV 40)Text/Journal Article0720-8928