A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines.

Tianyong Wu, Jun Yan, Jian Zhang

Browse the full TASE paper archive.