Dapeng Yan, Kui Liu, Yuqing Niu, Li Li, Zhe Liu, Zhiming Liu, Jacques Klein, Tegawendé F. Bissyandé: Crex: Predicting patch correctness in automated repair of C programs through transfer learning of execution semantics. Inf. Softw. Technol. 152: 107043 (2022)