Title: Zur Modellierung digitaler Schaltungen mit AND/OR-Graphen für die automatische Testmustergenerierung