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
68 * 2020 Deepfault: Fault localization for deep neural networks HF Eniser, S Gerasimou, A Sen
Fundamental Approaches to Software Engineering: 22nd International …, 2019
50 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
33 2015 Deepsmartfuzzer: Reward guided test generation for deep learning S Demir, HF Eniser, A Sen
arXiv preprint arXiv:1911.10621, 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
16 2018 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
13 2019 Raid: Randomized adversarial-input detection for neural networks HF Eniser, M Christakis, V Wüstholz
arXiv preprint arXiv:2002.02776, 2020
11 2020 Virtualization of stateful services via machine learning HF Enişer, A Sen
Software Quality Journal 28 (1), 283-306, 2020
9 2020 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
8 2021 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 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
3 2022 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
2 2022 Specifying and Testing M Christakis, HF Eniser, J Hoffmann, A Singla, V Wüstholz
arXiv preprint arXiv:2206.06054, 2022
2022 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
