Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift. Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM). In ICST 2009, Second International Conference on Software Testing Verification and Validation, 1-4 April 2009, Denver, Colorado, USA. pages 230-239, IEEE Computer Society, 2009. [doi]
Abstract is missing.