Hasan Ferit Eniser

25 papers A* 4A 1B 1Misc 1Journal 10Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — —
Specifying and Fuzzing Machine-Learning Models.
Hasan Ferit Eniser
2024 A* conf
Automatically Testing Functional Properties of Code Translation Models.
AAAI
Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis
2024 J jnl
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust.
CoRR
Hasan Ferit Eniser, Hanliang Zhang, Cristina David, Meng Wang, Maria Christakis, Brandon Paulsen, Joey Dodds, Daniel Kroening
2023 J jnl
Automatically Testing Functional Properties of Code Translation Models.
CoRR
Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis
2023 J jnl
Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131).
Dagstuhl Reports
Marcel Böhme, Maria Christakis, Rohan Padhye, Kostya Serebryany, Andreas Zeller, Hasan Ferit Eniser
2023 A* conf
Specifying and Testing k-Safety Properties for Machine-Learning Models.
IJCAI
Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz
2023 J jnl
Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks.
CoRR
Alperen Tercan, Ahana Ghosh, Hasan Ferit Eniser, Maria Christakis, Adish Singla
2022 A* conf
Debugging a Policy: Automatic Action-Policy Testing in AI Planning.
ICAPS
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
2022 A conf
Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing.
ISSTA
Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann, Maria Christakis
2022 J jnl
Specifying and Testing k-Safety Properties for Machine-Learning Models.
CoRR
Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz
2021 — conf
Automated Safety Verification of Programs Invoking Neural Networks.
CAV (1)
Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wüstholz
2020 — conf
DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning.
AISafety@IJCAI
Samet Demir, Hasan Ferit Eniser, Alper Sen
2020 J jnl
Importance-Driven Deep Learning System Testing.
CoRR
Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan
2020 A* conf
Importance-driven deep learning system testing.
ICSE
Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan
2020 — conf
Importance-driven deep learning system testing.
ICSE (Companion Volume)
Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan
2020 J jnl
RAID: Randomized Adversarial-Input Detection for Neural Networks.
CoRR
Hasan Ferit Eniser, Maria Christakis, Valentin Wüstholz
2020 J jnl
Virtualization of stateful services via machine learning.
Softw. Qual. J.
Hasan Ferit Eniser, Alper Sen
2019 B conf
DeepFault: Fault Localization for Deep Neural Networks.
FASE
Hasan Ferit Eniser, Simos Gerasimou, Alper Sen
2019 J jnl
DeepFault: Fault Localization for Deep Neural Networks.
CoRR
Hasan Ferit Eniser, Simos Gerasimou, Alper Sen
2019 J jnl
DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning.
CoRR
Samet Demir, Hasan Ferit Eniser, Alper Sen
2019 — conf
Phish-Hook: Detecting Phishing Certificates Using Certificate Transparency Logs.
SecureComm (2)
Edona Fasllija, Hasan Ferit Eniser, Bernd Prünster
2018 Misc conf
Fancymock: creating virtual services from transactions.
SAC
Hasan Ferit Eniser, Alper Sen, Suleyman Olcay Polat
2018 — conf
Testing service oriented architectures using stateful service visualization via machine learning.
AST@ICSE
Hasan Ferit Eniser, Alper Sen
2017 — conf
Otomatik Sanal Servis Olusturma(Automatic Virtual Service Creation).
UYMS
Hasan Ferit Eniser, Alper Sen, Suleyman Olcay Polat
2015 — conf
Temporal logic motion planning using POMDPs with parity objectives: case study paper.
HSCC
María Svorenová, Martin Chmelik, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta