Generating Feasible Transition Paths for Testing From an Extended Finite State Machine (EFSM) With the Counter Problem

doi 10.1109/icstw.2010.25