Multilevel Traceability Links Establishments Between SOFL Formal Specifications and Java Codes Using Multi-dimensional Similarity Measures. - Jiandong Li 003; Shaoying Liu; Ai Liu; Runhe Huang (QRS, 2021)

Requirements-Related Fault Prevention Mechanism for SOFL Formal Specification-Based Programming. - Jiandong Li 003; Shaoying Liu (QRS Companion, 2022)

Knowledge Graph Construction for SOFL Formal Specifications. - Jiandong Li 003; Shaoying Liu; Ai Liu; Runhe Huang (Int. J. Softw. Eng. Knowl. Eng., 2022)

Requirements-related fault prevention during the transformation from formal specifications to programs. - Jiandong Li 003; Shaoying Liu (IET Softw., 2023)