Feasible transition path generation for EFSM-based system testing | IEEE Conference Publication | IEEE Xplore