Eniser, Hasan Ferit, Valentin Wüstholz, and Maria Christakis. 2024. “Automatically Testing Functional Properties of Code Translation Models”. Proceedings of the AAAI Conference on Artificial Intelligence 38 (19):21055-62. https://doi.org/10.1609/aaai.v38i19.30097.