Task implementation of synchronous finite state machines.

Marco Di Natale Haibo Zeng

Published in: DATE (2012)

Keyphrases

finite state machines
asynchronous communication
finite state automata
model checking
data sets
genetic algorithm
hidden markov models
domain specific
data exchange
implementation details
implementation issues
mutation testing