Dynamische Analyse von COBOL-Systemarchitekturen zum modellbasierten Testen