[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)

基于约束求解的代码查询技术在StackOverflow上的实证研究 (Empirical Study of Code Query Technique Based on Constraint Solving on StackOverflow). - Zhengzhao Chen; Renhe Jiang; Minxue Pan; Tian Zhang 001; Xuandong Li (计算机科学, 2019)

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)

Documentation-based functional constraint generation for library methods. - Renhe Jiang; Zhengzhao Chen; Yu Pei 001; Minxue Pan; Tian Zhang 001; Xuandong Li (Softw. Test. Verification Reliab., 2021)