An investigation of circuit partitioning for parallel test generation.

S. Wayne Bollinger Scott F. Midkiff

Published in: VTS (1992)

Keyphrases

test generation
test cases
test sequences
symbolic execution
mutation testing
high speed
static analysis
design automation
quality assurance
software testing
parallel processing
shared memory
regression testing
open source
circuit design