Checking Experiments for Finite State Machines with Symbolic Inputs.

Alexandre Petrenko Adenilso da Silva Simão

Published in: ICTSS (2015)

Keyphrases

finite state machines
state transition
model checking
finite state automata
hidden markov models
digital circuits
connectionist models
symbolic representation
consistency checking
symbolic description
database
high level
low level
input data
mutation testing