Title: Fehlerlokalisierung in Digitalschaltungen mit Hilfe des Äquivalenzklassenverfahrens