Work

A heuristic transition executability analysis method for generating EFSM-specified protocol test sequences