A Documentation-based Constraint Generation Method for Java APIs. - Zejun Zhang 004; Shaobo Wu; Renhe Jiang; Minxue Pan; Tian Zhang 001 (Internetware, 2018)

[Research Paper] Semantics-Based Code Search Using Input/Output Examples. - Renhe Jiang; Zhengzhao Chen; Zejun Zhang 004; Yu Pei 001; Minxue Pan; Tian Zhang 001 (SCAM, 2018)

Deep-Diving into Documentation to Develop Improved Java-to-Swift API Mapping. - Zejun Zhang 004; Minxue Pan; Tian Zhang 001; Xinyu Zhou; Xuandong Li (ICPC, 2020)

Enhancing example-based code search with functional semantics. - Zhengzhao Chen; Renhe Jiang; Zejun Zhang 004; Yu Pei 001; Minxue Pan; Tian Zhang 001; Xuandong Li (J. Syst. Softw., 2020)