An Automatic Test Generation System for Large Scale Gate Arrays.

Takashi Aikyo Y. Hatano J. Ishii N. Karasawa S. Fujii

Published in: COMPCON (1986)

Keyphrases

test generation
test cases
test sequences
static analysis
design automation
real world
symbolic execution
mutation testing
image processing
software testing
quality assurance