Code-Based Test Generation for Validation of Functional Processor Descriptions.

Fabrice Baray Philippe Codognet Daniel Diaz Henri Michel

Published in: TACAS (2003)

Keyphrases

test generation
static analysis
symbolic execution
test cases
functional verification
source code
design automation
test sequences
processor core
mutation testing
quality assurance
industry standard
high level
error detection
software testing
open source
image processing
databases
artificial intelligence
real world