Specifying and Generating Test Cases Using Observer Automata.

Johan Blom Anders Hessel Bengt Jonsson Paul Pettersson

Published in: FATES (2004)

Keyphrases

cellular automata
probabilistic automata
finite automata
lattice gas
finite state
artificial intelligence
finite state machines
image sequences
multiscale
evolutionary algorithm
optical flow
regular expressions