Axiomatic Test Sequence Generation for Extended Finite State Machines.

Chang-Jia Wang Ming T. Liu

Published in: ICDCS (1992)

Keyphrases

finite state machines
model checking
state transition
mutation testing
finite state automata
hidden markov models
generation process
test sequences
neural network
video sequences
object oriented
regular expressions
decision theory
possibility theory
test generation