Wüstholz, Valentin

3 publications

IJCAI 2025 Lazy Testing of Machine-Learning Models Anastasia Isychev, Valentin Wüstholz, Maria Christakis

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