Automated test generation for post silicon microcontroller validation.

Pankaj Moharikar Jayakrishna Guddeti

Published in: HLDVT (2017)

Keyphrases

test generation
low cost
test cases
test sequences
symbolic execution
design automation
static analysis
quality assurance
mutation testing
high density
data sets
control system
software testing
image processing
complex systems
high speed