Directed Test Generation for Hardware Validation: A Survey.

Aruna Jayasena Prabhat Mishra

Published in: ACM Comput. Surv. (2024)

Keyphrases

test generation
test cases
symbolic execution
low cost
design automation
real time
test sequences
hardware and software
hardware implementation
quality assurance
static analysis
mutation testing
software testing
computer systems
code coverage
xml documents
test data generation
information systems
databases
database