C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Optimization of Mutant Space for RTL Test Generation.
Kunal Bansal
Michael S. Hsiao
Published in:
ICCD (2018)
Keyphrases
</>
test generation
test cases
symbolic execution
test sequences
optimization algorithm
static analysis
databases
machine learning
multi agent systems
model based diagnosis
design automation