Mo Li

According to our database, Mo Li authored at least 9 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems.

Mo Li, Shaoying Liu

IEEE Trans. Reliab., 2016

2014

Traceability-Based Formal Specification Inspection.

Mo Li, Shaoying Liu

Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

Adopting Variable Dependency in Animation for Presenting the Behaviour of Process.

Mo Li, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

Tool Support for Rigorous Formal Specification Inspection.

Mo Li, Shaoying Liu

Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014

Reviewing Formal Specification for Validation Using Animation and Trace Links.

Mo Li, Shaoying Liu

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

SOFL Specification Animation with Tool Support.

Mo Li, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

2012

Applying "Functional Scenario-Based" Test Case Generation Method in Unit Testing and Integration Testing.

Cencen Li, Mo Li, Shaoying Liu, Shin Nakajima

Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

Design and Implementation of a Tool for Specifying Specification in SOFL.

Mo Li, Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

Automated Functional Scenarios-Based Formal Specification Animation.

Mo Li, Shaoying Liu

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012