- [21] Jiandong Li,,Shaoying Liu,Ai Liu,Runhe Huang.Knowledge Graph Construction for SOFL Formal Specifications:International Journal of Software Engineering and Knowledge Engineering,2022,32(4):605-644
- [22] Lei Rao,,Shaoying Liu,Ai Liu.Testing Program Segments to Detect Software Faults during Programming:International Journal of Performability Engineering,2021,17(11):907-917