Fair Must Testing for I/O Automata.

Rob van Glabbeek

Published in: A Journey from Process Algebra via Timed Automata to Model Learning (2022)

Keyphrases

input output
cellular automata
finite automata
probabilistic automata
test set
file system
software testing
data sets
databases
data mining
information retrieval
reinforcement learning
test cases
regular expressions
finite state machines
lattice gas