Hasan Ferit Eniser

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 24

Top Topics

Functional Properties

Service Oriented Architecture

Top Venues

Publications

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