Login / Signup
Three Generalizations to a Generic Integrated Test Generation Method for Finite State Machines.
Monika Kapus-Kolar
Published in:
Comput. J. (2009)
Keyphrases
</>
generation method
finite state machines
finite state automata
model checking
mutation testing
digital circuits
data sets
domain specific
regular expressions
feature generation
statistical tests
data analysis