Fast Search-Based RTL Test Generation Using Control-Flow Path Guidance.

Sonal Pinto Michael S. Hsiao

Published in: ICCD (2017)

Keyphrases

control flow
test generation
software testing
data flow
test cases
test data generation
symbolic execution
process model
database systems
information technology
software development
business processes
software projects
transition systems