Login / Signup
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) with the Counter Problem.
Abdul Salam Kalaji
Robert M. Hierons
Stephen Swift
Published in:
ICST Workshops (2010)
Keyphrases
</>
finite state machines
state transition
state machine
model checking
finite state automata
hidden markov models
regular expressions
cellular automaton
mutation testing
domain knowledge
information extraction
domain specific
shortest path
structured data
digital circuits