---

I am a final year Ph.D. student at MPI-SWS and I am advised by Dr. Maria Christakis. Broadly, I work in the intersection of software testing/verification and artificial intelligence. I develop new testing and verification techniques to ensure the dependability of AI-enabled systems. I graduated from Bogazici University in 2018 with a M.Sc. in computer science. Before that, I did my B.Sc. studies in computer science at the same university.

---

Publications

* indicates lead authorship.

Conference

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
Hasan Ferit Eniser*, Hanliang Zhang*, Cristina David, Meng Wang, Brandon Paulsen, Joey Dodds, Daniel Kroening, Maria Christakis
Under Submission

Automatically Testing Functional Properties of Code Translation Models
Hasan Ferit Eniser*, Valentin Wüstholz and Maria Christakis
Association for the Advancement of Artificial Intelligence (AAAI 2024)

Specifying and Testing k-Safety Properties for Machine-Learning Models
Maria Christakis, Hasan Ferit Eniser*, Joerg Hoffmann, Adish Singla and Valentin Wüstholz
International Joint Conference on Artificial Intelligence (IJCAI 2023).

Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing
Hasan Ferit Eniser*, Timo Gros, Valentin Wüstholz, Joerg Hoffmann and Maria Christakis
International Symposium on Software Testing and Analysis (ISSTA 2022).

Debugging a Policy: Automatic Action-Policy Testing in AI Planning
Marcel Steinmetz, Daniel Fišer, Hasan Ferit Eniser, Patrick Ferber, Timo Gros, Philippe Heim, Daniel Höller, Xandra Schuler, Valentin Wüstholz, Maria Christakis and Joerg Hoffmann
International Conference on Automated Planning and Scheduling (ICAPS 2022).

Automated Safety Verification of Programs Invoking Neural Networks
Maria Christakis, Hasan Ferit Eniser*, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wüstholz
Computer Aided Verification (CAV 2021).

Importance-Driven Deep Learning System Testing
Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Cakan
International Conference on Software Engineering (ICSE 2020).

DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning
Samet Demir, Hasan Ferit Eniser, Alper Sen
AISafety@IJCAI 2020.

DeepFault: Fault Localization for Deep Neural Networks
Hasan Ferit Eniser*, Simos Gerasimou, Alper Sen
Fundamental Approaches to Software Engineering (FASE 2019).

Testing Service Oriented Architectures Using Stateful Service Visualization via Machine Learning
Hasan Ferit Eniser*, Alper Sen
Automation of Software Test (AST@ICSE 2018).

Temporal Logic Motion Planning using POMDP with Parity Objectives
Mária Svoreňová, Martin Chmelík, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Černá, Calin Belta
Hybrid Systems: Computation and Control (HSCC 2015).

Journal

Virtualization of Stateful Services via Machine Learning
Hasan Ferit Eniser*, Alper Sen
Software Quality Journal volume 28, pages 283–306 (SQJ 2020).

Reports

Software Bug Detection: Challenges and Synergies
Marcel Böhme, Maria Christakis, Rohan Padhye, Kostya Serebryany, Andreas Zeller, Hasan Ferit Eniser
Dagstuhl Seminar 23131, 2023

---

Teaching

• MLF-SS20 Teaching Assistant for the Seminar on Machine Learning and Formal Methods @ Saarland University
• PA-WS21   Teaching Assistant for the Program Analysis Course @ TU Kaiserslautern

---

Contact