Active Learning of Extended Finite State Machines.

Frits W. Vaandrager

Published in: ICTSS (2012)

Keyphrases

finite state machines
active learning
model checking
finite state automata
regular expressions
hidden markov models
random sampling
learning algorithm
learning process
semi supervised
object oriented
learning strategies
training set
domain specific
digital circuits
mutation testing