Testing from X-Machine Specifications.

Kirill Bogdanov

Published in: Formal Methods and Testing (2008)

Keyphrases

formal verification
test cases
high level
e learning
software testing
relational databases
special case
test set
case study
model checking
test data
decision trees
genetic algorithm
test generation
batch processing
reactive systems
concurrent systems