Test Generation Based on Symbolic Specifications.

Lars Frantzen Jan Tretmans Tim A. C. Willemse

Published in: FATES (2004)

Keyphrases

test generation
test cases
symbolic execution
test sequences
high level
design automation
quality assurance
static analysis
software testing
mutation testing
formal specification
symbolic representation
specification language
image quality
code coverage
decision trees
real world
software systems
image data