High Level Test Generation / SW based Embedded Test.

Praveen Parvathala

Published in: Asian Test Symposium (2005)

Keyphrases

test generation
high level
test cases
test sequences
mutation testing
symbolic execution
software testing
static analysis
low level
design automation
code coverage
source code
test data generation
database
quality assurance
computer vision
image quality
information systems