Skip to content

Hasan Ferit Eniser

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

9

Active years

2018–2025

Best venue rank

A*

Where they publish

Papers

12 indexed papers, newest first.

YearVenueTitleAuthors
2025SoCSUsing Action-Policy Testing in RL to Reduce the Number of Bugs.Hasan Ferit Eniser, Songtuan Lin, Nicola J. Mller, Anastasia Isychev, Valentin Wstholz, Isabel Valera, Jrg Hoffmann, Maria Christakis
2024AAAIAutomatically Testing Functional Properties of Code Translation Models.Hasan Ferit Eniser, Valentin Wstholz, Maria Christakis
2023IJCAISpecifying and Testing k-Safety Properties for Machine-Learning Models.Maria Christakis, Hasan Ferit Eniser, Jrg Hoffmann, Adish Singla, Valentin Wstholz
2022ISSTAMetamorphic relations via relaxations: an approach to obtain oracles for action-policy testing.Hasan Ferit Eniser, Timo P. Gros, Valentin Wstholz, Jrg Hoffmann, Maria Christakis
2021CAVAutomated Safety Verification of Programs Invoking Neural Networks.Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jrg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wstholz
2020IJCAIDeepSmartFuzzer: Reward Guided Test Generation For Deep Learning.Samet Demir, Hasan Ferit Eniser, Alper Sen
2020ICSEImportance-driven deep learning system testing.Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper akan
2020ICSEImportance-driven deep learning system testing.Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper akan
2019FASEDeepFault: Fault Localization for Deep Neural Networks.Hasan Ferit Eniser, Simos Gerasimou, Alper Sen
2019SecureCommPhish-Hook: Detecting Phishing Certificates Using Certificate Transparency Logs.Edona Fasllija, Hasan Ferit Eniser, Bernd Prnster
2018ICSETesting service oriented architectures using stateful service visualization via machine learning.Hasan Ferit Eniser, Alper Sen
2018SACFancymock: creating virtual services from transactions.Hasan Ferit Eniser, Alper Sen, Suleyman Olcay Polat