The KARL/KARATE system - integrating functional test development into a CAD environment for VLSI. - Gerold Alfs; Reiner W. Hartenstein; Andrea Wodtko (ICCD, 1988)

Explicit fault modeling and hierarchical test pattern generation in the KARATE system. - Gerold Alfs; Reiner W. Hartenstein; Andrea Wodtko (Microprocessing and Microprogramming, 1989)