Login / Signup
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