Functional Test Generation for Pipelined Computer Implementations.

Daniel C. Lee Daniel P. Siewiorek

Published in: FTCS (1991)

Keyphrases

test generation
test cases
symbolic execution
test sequences
design automation
mutation testing
static analysis
computer systems
software testing
quality assurance
databases
data flow
artificial intelligence
computer vision