Towards Testing from Finite State Machines with Symbolic Inputs and Outputs.

Alexandre Petrenko

Published in: MoDELS (2018)

Keyphrases

finite state machines
state transition
model checking
finite state automata
mutation testing
hidden markov models
dea models
data analysis
dea model
input data
regular expressions
software testing
statistical tests
test cases
test set
test generation
digital circuits
image quality
data management
high level