Automaton tests