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

Towards Automatic Transformation from UML Model to FSM Model for Web Applications. - Xi Wang 017; Huaikou Miao; Liang Guo (J. Softw. Eng. Appl., 2008)

A Pattern System to Support Refining Informal Ideas into Formal Expressions. - Xi Wang 017; Shaoying Liu; Huaikou Miao (ICFEM, 2010)

A Pattern-Based Approach to Formal Specification Construction. - Xi Wang 017; Shaoying Liu; Huaikou Miao (FGIT-ASEA/DRBC/EL, 2011)

Development of a Supporting Tool for Formalizing Software Requirements. - Xi Wang 017; Shaoying Liu (SOFL, 2012)

An approach to representing and utilizing specification pattern knowledge for computer-aided formalization of requirements. - Xi Wang 017; Shaoying Liu (ICIS, 2013)

Guided Requirements Clarification for Automatic Formalization. - Xi Wang 017; Shaoying Liu (SNPD, 2013)

An Approach to Declaring Data Types for Formal Specifications. - Xi Wang 017; Shaoying Liu (SOFL+MSVL, 2013)

Computer-Aided Formalization of Requirements Based on Patterns. - Xi Wang 017; Shaoying Liu (IEICE Trans. Inf. Syst., 2014)

Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction. - Shaoying Liu; Xi Wang 017; Weikai Miao (ICFEM, 2015)

A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge. - Weikai Miao; Xi Wang 017; Shaoying Liu (TASE, 2015)

Automatic support for formal specification construction using pattern knowledge. - Xi Wang 017; Weikai Miao (SNPD, 2016)

Automated Safety Analysis on Scenario-Based Requirements for Train Control System. - Xi Wang 017; Huaikou Miao; Weikai Miao (SOFL+MSVL, 2016)

An Evolutionary Method for the Formal Specification Construction of Service-Based Software. - Weikai Miao; Xi Wang 017 (Int. J. Softw. Eng. Knowl. Eng., 2016)

A Formal Engineering Approach to Product Family Modeling. - Xi Wang 017; Ridha Khédri; Weikai Miao (TASE, 2021)

A framework for Requirements specification of machine-learning systems. - Xi Wang 017; Weikai Miao (SEKE, 2022)