Zhengzhao Chen

According to our database, Zhengzhao Chen authored at least 4 papers between 2018 and 2021.

Collaborative distances:

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

2021

Documentation-based functional constraint generation for library methods.

Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li

Softw. Test. Verification Reliab., 2021

2020

Enhancing example-based code search with functional semantics.

Zhengzhao Chen, Renhe Jiang, Zejun Zhang, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li

J. Syst. Softw., 2020

2019

基于约束求解的代码查询技术在StackOverflow上的实证研究 (Empirical Study of Code Query Technique Based on Constraint Solving on StackOverflow).

Zhengzhao Chen, Renhe Jiang, Minxue Pan, Tian Zhang, Xuandong Li

计算机科学, 2019

2018

[Research Paper] Semantics-Based Code Search Using Input/Output Examples.

Renhe Jiang, Zhengzhao Chen, Zejun Zhang, Yu Pei, Minxue Pan, Tian Zhang

Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018