Automated Functional Scenarios-Based Formal Specification Animation. - Mo Li 003; Shaoying Liu (APSEC, 2012)

Design and Implementation of a Tool for Specifying Specification in SOFL. - Mo Li 003; Shaoying Liu (SOFL, 2012)

Applying "Functional Scenario-Based" Test Case Generation Method in Unit Testing and Integration Testing. - Cencen Li; Mo Li 003; Shaoying Liu; Shin Nakajima 001 (SOFL, 2012)

SOFL Specification Animation with Tool Support. - Mo Li 003; Shaoying Liu (SOFL+MSVL, 2013)

Reviewing Formal Specification for Validation Using Animation and Trace Links. - Mo Li 003; Shaoying Liu (APSEC (1), 2014)

Tool Support for Rigorous Formal Specification Inspection. - Mo Li 003; Shaoying Liu (CSE, 2014)

Adopting Variable Dependency in Animation for Presenting the Behaviour of Process. - Mo Li 003; Shaoying Liu (SOFL+MSVL, 2014)

Traceability-Based Formal Specification Inspection. - Mo Li 003; Shaoying Liu (SERE, 2014)

Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems. - Mo Li 003; Shaoying Liu (IEEE Trans. Reliab., 2016)