Gongzheng Lu
According to our database1,
Gongzheng Lu
authored at least 6 papers
between 2013 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
0
1
2
3
1
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
2020
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2020, 2020
2019
Sci. China Inf. Sci., 2019
2014
An Implementation Framework for Optimizing Test Case Generation Using Model Checking.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2014
2013
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.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013