Login / Signup
Distinguishing Tests for Nondeterministic Finite State Machines.
Sergiy Boroday
Published in:
IWTCS (1998)
Keyphrases
</>
finite state machines
finite state automata
model checking
finite state
mutation testing
regular expressions
digital circuits
database systems
object oriented
database management systems
matching algorithm
test data
statistical tests
finite automata
test generation