Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs.

Kaki Ryan Cynthia Sturton

Published in: CoRR (2023)

Keyphrases

symbolic execution
hardware designs
static analysis
test generation
test data generation
specification language
source code
data flow
particle swarm optimization
database systems
model based diagnosis
training set
software projects
software testing