A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines | IEEE Conference Publication | IEEE Xplore