Eniser, H. F., Wüstholz, V. and Christakis, M. (2024) “Automatically Testing Functional Properties of Code Translation Models”, Proceedings of the AAAI Conference on Artificial Intelligence, 38(19), pp. 21055–21062. doi: 10.1609/aaai.v38i19.30097.