Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines.

Samuel Huang David Lee Mark G. Staskauskas

Published in: FORTE (1996)

Keyphrases

finite state machines
finite state automata
model checking
state transition
mutation testing
social networks
generation process
hidden markov models
database
relational databases
wireless networks
network analysis
software testing
heterogeneous networks