Title: Automatische Testerstellung zur Fehlerdiagnose in Schaltwerken unter Anwendung des Äquivalenzklassenprinzips