Crex: Predicting patch correctness in automated repair of C programs through transfer learning of execution semantics

Dapeng Yan, Kui Liu, Yuqing Niu, Li Li, Zhe Liu, Zhiming Liu, Jacques Klein, Tegawendé F. Bissyandé