Optimierte Fehlerfindung im Funktionstest durch automatisierte Analyse von Testprotokollen.