Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs).

Karnig Derderian Robert M. Hierons Mark Harman Qiang Guo

Published in: GECCO (2) (2004)

Keyphrases

finite state machines
finite state automata
model checking
input data
mutation testing
state transition
communication channels
digital circuits
test cases
pattern matching
regular expressions
neural network
artificial neural networks
business intelligence
test set
generation method