Testerzeugung für Datenpfade aus iterativ aufgebauten Funktionsbausteinen. - Liell, Peter (Univ., FB Informatik, 1983)