Wissensbasierte Qualitätsassistenz zur Konstruktion von Prüfstrategien für Softwarekomponenten - Liggesmeyer, Peter 1963- (Forschung in der Softwaretechnik, 1993)