Eniser, Hasan Ferit

2 publications

AAAI 2024 Automatically Testing Functional Properties of Code Translation Models Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis

IJCAI 2023 Specifying and Testing K-Safety Properties for Machine-Learning Models Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz