Mo Li

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Topics

Specification Languages

Top Venues

IEEE Trans. Reliab.

Publications

Mo Li, Shaoying Liu
Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems. IEEE Trans. Reliab. 65 (1) (2016)
Mo Li, Shaoying Liu
Tool Support for Rigorous Formal Specification Inspection. CSE (2014)
Mo Li, Shaoying Liu
Reviewing Formal Specification for Validation Using Animation and Trace Links. APSEC (1) (2014)
Mo Li, Shaoying Liu
Traceability-Based Formal Specification Inspection. SERE (2014)
Mo Li, Shaoying Liu
Adopting Variable Dependency in Animation for Presenting the Behaviour of Process. SOFL+MSVL (2014)
Mo Li, Shaoying Liu
SOFL Specification Animation with Tool Support. SOFL+MSVL (2013)
Mo Li, Shaoying Liu
Automated Functional Scenarios-Based Formal Specification Animation. APSEC (2012)
Mo Li, Shaoying Liu
Design and Implementation of a Tool for Specifying Specification in SOFL. SOFL (2012)
Cencen Li, Mo Li, Shaoying Liu, Shin Nakajima
Applying "Functional Scenario-Based" Test Case Generation Method in Unit Testing and Integration Testing. SOFL (2012)