Jacobs, Stephan2023-03-142023-03-142014https://dl.gi.de/handle/20.500.12116/40840de36.Treffen der GI-Fachgruppe Test, Analyse und Verifikation von Software (TAV-36) 26. und 27. Juni 2014, Softwareforen Leipzig TagungsberichtText/Journal Article0720-8928