H. F. Eniser, V. Wüstholz, and M. Christakis, “Automatically Testing Functional Properties of Code Translation Models”, AAAI, vol. 38, no. 19, pp. 21055–21062, Mar. 2024.