Eniser, H. F.; Wüstholz, V.; Christakis, M. Automatically Testing Functional Properties of Code Translation Models. AAAI 2024, 38, 21055-21062.