Hazard driven test generation for SMT processors.

Padmaraj Singh Vijaykrishnan Narayanan David L. Landis

Published in: DATE (2012)

Keyphrases

test generation
test cases
symbolic execution
test sequences
quality assurance
design automation
parallel algorithm
parallel processing
static analysis
mutation testing
statistical machine translation
software testing
machine learning
image processing
risk assessment