Parallel test generation using circuit partitioning and spectral techniques.

Consolación Gil Julio Ortega

Published in: PDP (1998)

Keyphrases

test generation
test cases
test sequences
symbolic execution
design automation
static analysis
parallel processing
mutation testing
quality assurance
database
databases
normalized cut
software testing
shared memory
high frequency
regression testing
query processing