Toward testing from finite state machines with symbolic inputs and outputs.

Alexandre Petrenko

Published in: Softw. Syst. Model. (2019)

Keyphrases

finite state machines
state transition
model checking
finite state automata
mutation testing
hidden markov models
test cases
high level
test generation
digital circuits
dea models
dea model
test set
pattern matching
test suite
symbolic data