I/O-automata Based Testing.

Machiel van der Bijl Fabien Peureux

Published in: Model-Based Testing of Reactive Systems (2004)

Keyphrases

input output
file system
database systems
multi dimensional
test cases
main memory
software testing
data sets
databases
test suite
test generation