A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines.

Tianyong Wu Jun Yan Jian Zhang

Published in: TASE (2012)

Keyphrases

test sequences
mutation testing
finite state machines
test cases
video sequences
test generation
bit rate
model checking
finite state automata
hidden markov models
shortest path
databases
knowledge base
decision trees
computational complexity
database applications