TY  - RPRT
TI  - Automatically Testing Functional Properties of Code Translation Models
AU  - Hasan Ferit Eniser
AU  - Valentin Wüstholz
AU  - Maria Christakis
PY  - 2024
UR  - https://arxiv.org/abs/2309.12813
ID  - 2309.12813
ER  -