Login / Signup
Testing Nondeterministic Finite State Machines with Respect to the Separability Relation.
Natalia Shabaldina
Khaled El-Fakih
Nina Yevtushenko
Published in:
TestCom/FATES (2007)
Keyphrases
</>
finite state machines
finite state automata
model checking
regular expressions
mutation testing
finite state
database
digital circuits
neural network
data analysis
software testing
finite automata
database systems
hidden markov models
low level