An Approach to Symbolic Test Generation.

Vlad Rusu Lydie du Bousquet Thierry Jéron

Published in: IFM (2000)

Keyphrases

test generation
test cases
symbolic execution
design automation
test sequences
mutation testing
static analysis
quality assurance
software testing
symbolic representation
image processing
cooperative
high quality
code coverage
high level
software development
regression testing