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

The KARL/KARATE System: Automatic Test Pattern Generation Based on RT Level Descriptions. - Gerold Affs; Reiner W. Hartenstein; Andrea Wodtko (ITC, 1988)

On the automatic generation of test patterns from mixed-level hardware descriptions. - Andrea Wodtko (1989)

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