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

Browse the full ICST paper archive.