Hasan Ferit Eniser

According to our database, Hasan Ferit Eniser authored at least 18 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust.

Hasan Ferit Eniser, Hanliang Zhang, Cristina David, Meng Wang, Maria Christakis, Brandon Paulsen, Joey Dodds, Daniel Kroening

CoRR, 2024

Automatically Testing Functional Properties of Code Translation Models.

Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131).

Marcel Böhme, Maria Christakis, Rohan Padhye, Kostya Serebryany, Andreas Zeller, Hasan Ferit Eniser

Dagstuhl Reports, March, 2023

Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks.

Alperen Tercan, Ahana Ghosh, Hasan Ferit Eniser, Maria Christakis, Adish Singla

CoRR, 2023

Specifying and Testing k-Safety Properties for Machine-Learning Models.

Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing.

Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann, Maria Christakis

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Debugging a Policy: Automatic Action-Policy Testing in AI Planning.

Marcel Steinmetz, Daniel Fiser, Hasan Ferit Eniser, Patrick Ferber, Timo P. Gros, Philippe Heim, Daniel Höller, Xandra Schuler, Valentin Wüstholz, Maria Christakis, Jörg Hoffmann

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021

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

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Virtualization of stateful services via machine learning.

Hasan Ferit Eniser, Alper Sen

Softw. Qual. J., 2020

RAID: Randomized Adversarial-Input Detection for Neural Networks.

Hasan Ferit Eniser, Maria Christakis, Valentin Wüstholz

CoRR, 2020

DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning.

Samet Demir, Hasan Ferit Eniser, Alper Sen

Proceedings of the Workshop on Artificial Intelligence Safety 2020 co-located with the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020), 2020

Importance-driven deep learning system testing.

Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Phish-Hook: Detecting Phishing Certificates Using Certificate Transparency Logs.

Edona Fasllija, Hasan Ferit Eniser, Bernd Prünster

Proceedings of the Security and Privacy in Communication Networks, 2019

DeepFault: Fault Localization for Deep Neural Networks.

Hasan Ferit Eniser, Simos Gerasimou, Alper Sen

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Fancymock: creating virtual services from transactions.

Hasan Ferit Eniser, Alper Sen, Suleyman Olcay Polat

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Testing service oriented architectures using stateful service visualization via machine learning.

Hasan Ferit Eniser, Alper Sen

Proceedings of the 13th International Workshop on Automation of Software Test, 2018

2017

Otomatik Sanal Servis Olusturma(Automatic Virtual Service Creation).

Hasan Ferit Eniser, Alper Sen, Suleyman Olcay Polat

Proceedings of the 11th Turkish National Software Engineering Symposium, 2017

2015

Temporal logic motion planning using POMDPs with parity objectives: case study paper.

María Svorenová, Martin Chmelik, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015