From Use Case to Use Case Slices: An Automated Approach. - Yangyang Chen; Cong Chen; Hao Wen 008; Jianmin Jiang; Zeng Qiong; Hongping Shu; Zhong Hong (Int. J. Inf. Syst. Model. Des., 2019)

Consistency analysis of UML models (S). - Guofu Tang; Jianmin Jiang; Hao Wen 008 (DMSVIVA, 2023)

A Formal Approach for Traceability Preservation in Software Development Process. - Hao Wen 008; Jinzhao Wu; Jianmin Jiang; Jianqing Li; Zhong Hong (NCTCS, 2023)

A Formal Approach for Consistency Management in UML Models. - Hao Wen 008; Jinzhao Wu; Jianmin Jiang; Guofu Tang; Zhong Hong (Int. J. Softw. Eng. Knowl. Eng., 2023)

Managing Traceability for Software Life Cycle Processes. - Hao Wen 008; Jinzhao Wu; Jianmin Jiang; Jianqing Li; Zhong Hong (TASE, 2024)