Xi Wang, Liang Guo, Huaikou Miao: An Approach to Transforming UML Model to FSM Model for Automatic Testing. CSSE (2) 2008: 251-254