SnR: constraint-based type inference for incomplete Java code snippets. - Dong, Yiwen; Gu, Tianxiao; Tian, Yongqiang; Sun, Chengnian (ICSE: International Conference on Software Engineering, 2022)