Automated test generation from SDL specifications.

Alain Kerbrat Thierry Jéron Roland Groz

Published in: SDL Forum (1999)

Keyphrases

test generation
test cases
symbolic execution
design automation
test sequences
quality assurance
static analysis
computer aided
mutation testing
software testing
regression testing
high level
automated tools
specification language
finite state machines
programming language
test data generation
e learning
database