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

Tianyong Wu, Jun Yan, Jian Zhang. A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines. In Tiziana Margaria, Zongyan Qiu, Hongli Yang, editors, Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China. pages 267-270, IEEE, 2012. [doi]

Authors

Tianyong Wu

This author has not been identified. Look up 'Tianyong Wu' in Google

Jun Yan

This author has not been identified. Look up 'Jun Yan' in Google

Jian Zhang

This author has not been identified. Look up 'Jian Zhang' in Google