Wissensbasierte Qualitätsassistenz zur Konstruktion von Prüfstrategien für SoftwarekomponentenPeter LiggesmeyerAgotadoNotifícame