Testability of Oracle Automata.

Gaoyan Xie Cheng Li Zhe Dang

Published in: CIAA (2004)

Keyphrases

cellular automata
oracle database
regular expressions
finite state
finite automata
finite state machines
database
formal language theory
tree automata
probabilistic automata
software testing
oracle database administration
lattice gas
finite automaton
timed automata
website
real world