Automated Test Generation from Models Based on Functional Software Specifications.

Michael Esser Peter Struss

Published in: IICAI (2007)

Keyphrases

test generation
quality assurance
test sequences
high level
software testing
information systems
database systems
query processing
complex systems
finite state machines
specification language