Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM).

Abdul Salam Kalaji Robert M. Hierons Stephen Swift

Published in: ICST (2009)

Keyphrases

finite state machines
state transition
model checking
finite state automata
state machine
hidden markov models
shortest path
mutation testing
regular expressions
high level
database systems
test cases
software testing
digital circuits
query processing