Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem Proving. - Gongzheng Lu; Huaikou Miao (TASE, 2013)

An Approach to Generating Test Data for EFSM Paths Considering Condition Coverage. - Gongzheng Lu; Huaikou Miao (TTSS, 2013)

An Implementation Framework for Optimizing Test Case Generation Using Model Checking. - Longhui Chang; Huaikou Miao; Gongzheng Lu (SOFL+MSVL, 2014)

Predictive analysis for race detection in software-defined networks. - Gongzheng Lu; Lei Xu 003; Yibiao Yang; Baowen Xu (Sci. China Inf. Sci., 2019)

GAN-Based Planning Model in Deep Reinforcement Learning. - Song Chen; Junpeng Jiang; Xiaofang Zhang; Jin-Jin Wu; Gongzheng Lu (ICANN (2), 2020)

NodeRT: Detecting Races in Node.js Applications Practically. - Jingyao Zhou; Lei Xu 003; Gongzheng Lu; Weifeng Zhang 001; Xiangyu Zhang 001 (ISSTA, 2023)