Importance-driven deep learning system testing S Gerasimou, HF Eniser, A Sen, A Cakan
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
98 * 2020 Deepfault: Fault localization for deep neural networks HF Eniser, S Gerasimou, A Sen
International Conference on Fundamental Approaches to Software Engineering …, 2019
69 2019 Temporal logic motion planning using POMDPs with parity objectives: Case study paper M Svoreňová, M Chmelík, K Leahy, HF Eniser, K Chatterjee, I Černá, ...
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
36 2015 DeepSmartFuzzer: Reward guided test generation for deep learning S Demir, HF Eniser, A Sen
AISafety@IJCAI 2640, 2019
24 2019 Phish-hook: Detecting phishing certificates using certificate transparency logs E Fasllija, HF Enişer, B Prünster
Security and Privacy in Communication Networks: 15th EAI International …, 2019
19 2019 Testing service oriented architectures using stateful service visualization via machine learning HF Enişer, A Sen
Proceedings of the 13th International Workshop on Automation of Software …, 2018
17 2018 Raid: Randomized adversarial-input detection for neural networks HF Eniser, M Christakis, V Wüstholz
arXiv preprint arXiv:2002.02776, 2020
14 2020 Metamorphic relations via relaxations: An approach to obtain oracles for action-policy testing HF Eniser, TP Gros, V Wüstholz, J Hoffmann, M Christakis
Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022
10 2022 Automated safety verification of programs invoking neural networks M Christakis, HF Eniser, H Hermanns, J Hoffmann, Y Kothari, J Li, ...
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
10 2021 Virtualization of stateful services via machine learning HF Enişer, A Sen
Software Quality Journal 28 (1), 283-306, 2020
9 2020 Debugging a policy: Automatic action-policy testing in AI planning M Steinmetz, D Fišer, HF Eniser, P Ferber, TP Gros, P Heim, D Höller, ...
Proceedings of the International Conference on Automated Planning and …, 2022
8 2022 Fancymock: creating virtual services from transactions HF Eniser, A Sen, SO Polat
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1576-1578, 2018
4 2018 Specifying and Testing -Safety Properties for Machine-Learning Models M Christakis, HF Eniser, J Hoffmann, A Singla, V Wüstholz
Proceedings of the Thirty-Second International Joint Conference on …, 2023
3 2023 Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks A Tercan, A Ghosh, HF Eniser, M Christakis, A Singla
arXiv preprint arXiv:2305.17518, 2023
2 2023 Automatically Testing Functional Properties of Code Translation Models HF Eniser, V Wüstholz, M Christakis
Proceedings of the AAAI Conference on Artificial Intelligence 38 (19), 21055 …, 2024
2024 Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131) M Böhme, M Christakis, R Padhye, K Serebryany, A Zeller, HF Eniser
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023
2023 Durumsal Servislerin Sanallastırılması HF Eniser, A Sen
Çekişme Temelli Ortam Erişimi Algoritmaları Dilim Atama İhtimalleri Karşılaştırması HF Enişer, İ Demirkol
Otomatik Sanal Servis Olusturma HF Eniser, A Sen, SO Polat