The KARL/KARATE System: Automatic Test Pattern Generation Based on RT Level Descriptions.

Gerold Affs, Reiner W. Hartenstein, Andrea Wodtko

Browse the full ITC paper archive.