Get started
Author

Hasan Ferit Enişer

Observed names: Eniser, Hasan Ferit, Enişer, Hasan Ferit, Hasan Ferit Eniser
ORCID: 0000-0002-3259-8794
Observed ORCID: 0000-0002-3259-8794
OpenAlex ID: A5010039671
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
2024 · Eniser, Hasan Ferit, Zhang, Hanliang, et al. · arXiv (Cornell University) · 97
PDF
DeepFault: Fault Localization for Deep Neural Networks
2019 · Hasan Ferit Eniser, Simos Gerasimou, et al. · Lecture notes in computer science · 92
PDF
Importance-driven deep learning system testing
2020 · Simos Gerasimou, Hasan Ferit Eniser, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 86
DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning
2019 · Demir, Samet, Eniser, Hasan Ferit, et al. · arXiv (Cornell University) · 30
PDF
Temporal logic motion planning using POMDPs with parity objectives: case study paper
2015 · Mária Svoreňová, Martin Chmelík, et al. · International Conference on Hybrid Systems: computation and control · 24
Phish-Hook: Detecting Phishing Certificates Using Certificate Transparency Logs
2019 · Edona Fasllija, Hasan Ferit Enişer, et al. · Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering · 23
Importance-driven deep learning system testing
2020 · Simos Gerasimou, Hasan Ferit Eniser, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 22
PDF
Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing
2022 · Hasan Ferit Eniser, Timo P. Gros, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 20
PDF
RAID: Randomized Adversarial-Input Detection for Neural Networks
2020 · Eniser, Hasan Ferit, Christakis, Maria, et al. · arXiv (Cornell University) · 18
PDF
Automated Safety Verification of Programs Invoking Neural Networks
2021 · Maria Christakis, Hasan Ferit Eniser, et al. · Lecture notes in computer science · 15
PDF
Testing service oriented architectures using stateful service visualization via machine learning
2018 · Hasan Ferit Enişer, Alper Sen · International Workshop on Automation of Software Test (AST) · 13
Debugging a Policy: Automatic Action-Policy Testing in AI Planning
2022 · Marcel Steinmetz, Daniel Fišer, et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 9
PDF
Virtualization of stateful services via machine learning
2019 · Hasan Ferit Enişer, Alper Sen · Software Quality Journal · 9
Specifying and Testing k-Safety Properties for Machine-Learning Models
2023 · Maria Christakis, Hasan Ferit Eniser, et al. · International Joint Conference on Artificial Intelligence · 8
PDF
Automatically Testing Functional Properties of Code Translation Models
2024 · Hasan Ferit Eniser, Valentin Wüstholz, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 4
PDF
Temporal Logic Motion Planning using POMDPs with Parity Objectives
2015 · Mária Svoreňová, Martin Chmelík, et al. · 4
Fancymock: creating virtual services from transactions
2018 · Hasan Ferit Eniser, Alper Sen, et al. · ACM Symposium on Applied Computing · 3
Importance-Driven Deep Learning System Testing
2020 · Gerasimou, Simos, Eniser, Hasan Ferit, et al. · arXiv (Cornell University) · 1
PDF
Using Action-Policy Testing in RL to Reduce the Number of Bugs
2025 · Hasan Ferit Eniser, Songtuan Lin, et al. · Proceedings of the International Symposium on Combinatorial Search
PDF
Automated PIM Detection in Wireless Networks via Smart Data-Driven Techniques
2024 · Gokcan Cantali, Eren Deniz, et al. · ITU Journal on Future and Evolving Technologies
PDF
Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks
2023 · Tercan, Alperen, Ghosh, Ahana, et al. · arXiv (Cornell University)
PDF
Otomatik Sanal Servis Olusturma(Automatic Virtual Service Creation).
2017 · Hasan Ferit Enişer, Alper Şen, et al. · UYMS
Works count: 26
Citation count: 479
H-index: 11
I10-index: 11
Year
Topic
Type