Brief Announcement: The Synergy of Finite State Machines.

Yehuda Afek Yuval Emek Noa Kolikant

Published in: DISC (2017)

Keyphrases

finite state machines
model checking
finite state automata
state transition
hidden markov models
digital circuits
regular expressions
data mining
metadata
data model
domain specific
cellular automata
decision problems
mutation testing