Feasible transition path generation for EFSM-based system testing.

Sieng Wong Chia Yee Ooi Yuan Wen Hau Muhammad N. Marsono Nasir Shaikh-Husin

Published in: ISCAS (2013)

Keyphrases

finite state machines
state transition
shortest path
test cases
generation algorithm
information systems
high level
similarity measure
hidden markov models
model checking
feasible solution
generation process