Software-based self-test generation for microprocessors with high-level decision diagrams.

Raimund Ubar Anton Tsertov Artjom Jasnetski Marina Brik

Published in: LATW (2014)

Keyphrases

test generation
high level
test cases
decision diagrams
software testing
quality assurance
static analysis
source code
software development
software systems
markov decision processes
test suite
software projects
development process
test set
software engineering
training data