Functional test generation using property decompositions for validation of pipelined processors.

Heon-Mo Koo Prabhat Mishra

Published in: DATE (2006)

Keyphrases

test generation
test cases
test sequences
symbolic execution
design automation
static analysis
parallel architecture
parallel processing
software testing
quality assurance
mutation testing
parallel algorithm
data flow
code coverage
training data
shared memory