Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM).

Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift

Browse the full ICST paper archive.