Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM). - Abdul Salam Kalaji; Robert M. Hierons; Stephen Swift (ICST, 2009)

Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) with the Counter Problem. - Abdul Salam Kalaji; Robert M. Hierons; Stephen Swift (ICST Workshops, 2010)

Search-based software engineering : a search-based approach for testing from extended finite state machine (EFSM) models. - Abdul Salam Kalaji (2010)

An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models. - Abdul Salam Kalaji; Robert M. Hierons; Stephen Swift (Inf. Softw. Technol., 2011)