2017-12-062017-12-062012https://dl.gi.de/handle/20.500.12116/8694deAufruf zur Einreichung von Beiträgen 34. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV) 14. und 15. Februar 2013, AachenText/Journal Article10.1007/BF033235150720-8928