Fair Must Testing for I/O Automata.

Rob van Glabbeek

Published in: CoRR (2022)

Keyphrases

input output
data sets
cellular automata
database
finite automata
probabilistic automata
real time
knowledge base
case study
test data
finite state
software testing
turing machine