Eniser, H.F. et al. 2024. Automatically Testing Functional Properties of Code Translation Models. Proceedings of the AAAI Conference on Artificial Intelligence. 38, 19 (Mar. 2024), 21055–21062. DOI:https://doi.org/10.1609/aaai.v38i19.30097.