Test-Based Induction of Finite-State Machines with Continuous Output Actions.
Igor BuzhinskyVladimir UlyantsevAnatoly ShalytoPublished in: MIM (2013)
Keyphrases
- finite state machines
- state transition
- mutation testing
- model checking
- finite state automata
- hidden markov models
- continuous action
- action space
- data sets
- digital circuits
- input data
- state space
- inductive learning
- high level
- neural network
- test sequences
- integrity constraints
- markov decision processes
- machine learning
- databases