Gongzheng Lu

According to our database, Gongzheng Lu authored at least 6 papers between 2013 and 2023.

Collaborative distances:

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

2023

NodeRT: Detecting Races in Node.js Applications Practically.

Jingyao Zhou, Lei Xu, Gongzheng Lu, Weifeng Zhang, Xiangyu Zhang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2020

GAN-Based Planning Model in Deep Reinforcement Learning.

Song Chen, Junpeng Jiang, Xiaofang Zhang, Jin-Jin Wu, Gongzheng Lu

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2020, 2020

2019

Predictive analysis for race detection in software-defined networks.

Gongzheng Lu, Lei Xu, Yibiao Yang, Baowen Xu

Sci. China Inf. Sci., 2019

2014

An Implementation Framework for Optimizing Test Case Generation Using Model Checking.

Longhui Chang, Huaikou Miao, Gongzheng Lu

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

2013

An Approach to Generating Test Data for EFSM Paths Considering Condition Coverage.

Gongzheng Lu, Huaikou Miao

Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem Proving.

Gongzheng Lu, Huaikou Miao

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013