Eight Years of Experience in Test Generation from FDTs using TVEDA.

Roland Groz Nathalie Risser

Published in: FORTE (1997)

Keyphrases

test generation
test cases
test sequences
experience gained
symbolic execution
quality assurance
design automation
static analysis
practical experience
software testing
databases
computer vision
mutation testing
image processing
life cycle