Robert M. Hierons, T.-H. Kim, Hasan Ural. Expanding an Extended Finite State Machine to aid Testability. In 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings. pages 334-342, IEEE Computer Society, 2002. [doi]
Abstract is missing.