The following publications are possibly variants of this publication:
- Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) with the Counter ProblemAbdul Salam Kalaji, Robert M. Hierons, Stephen Swift. icst 2010: 232-235 [doi]
- Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithmsKarnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo. gecco 2005: 1081-1082 [doi]
- Estimating the feasibility of transition paths in extended finite state machinesKarnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo. ASE, 17(1):33-56, 2010. [doi]
- Testing from a Finite-State Machine: Extending Invertibility to SequencesRobert M. Hierons. cj, 40(4):220-230, 1997.
- Expanding an Extended Finite State Machine to aid TestabilityRobert M. Hierons, T.-H. Kim, Hasan Ural. compsac 2002: 334-342 [doi]