Search Results for author: Hasan Ferit Eniser

Found 7 papers, 4 papers with code

Automatically Testing Functional Properties of Code Translation Models

1 code implementation7 Sep 2023 Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis

To this purpose, we develop the first property-guided search procedure for code translation models, where a model is repeatedly queried with slightly different parameters to produce alternative and potentially more correct translations.

Code Translation Translation

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

1 code implementation27 May 2023 Alperen Tercan, Ahana Ghosh, Hasan Ferit Eniser, Maria Christakis, Adish Singla

We propose a novel synthesis algorithm that generates a progression of subtasks that are high-quality, well-spaced in terms of their complexity, and solving this progression leads to solving the reference task.

Logical Reasoning

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

1 code implementation13 Jun 2022 Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz

Here, we show the wide applicability of $k$-safety properties for machine-learning models and present the first specification language for expressing them.

BIG-bench Machine Learning Decision Making +2

Importance-Driven Deep Learning System Testing

no code implementations9 Feb 2020 Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Cakan

Deep Learning (DL) systems are key enablers for engineering intelligent applications due to their ability to solve complex tasks such as image recognition and machine translation.

Machine Translation Translation

RAID: Randomized Adversarial-Input Detection for Neural Networks

no code implementations7 Feb 2020 Hasan Ferit Eniser, Maria Christakis, Valentin Wüstholz

In recent years, neural networks have become the default choice for image classification and many other learning tasks, even though they are vulnerable to so-called adversarial attacks.

Image Classification

DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning

1 code implementation24 Nov 2019 Samet Demir, Hasan Ferit Eniser, Alper Sen

Among those, CGF aims to produce new test inputs by fuzzing existing ones to achieve high coverage on a test adequacy criterion (i. e. coverage criterion).

Data Augmentation

DeepFault: Fault Localization for Deep Neural Networks

no code implementations15 Feb 2019 Hasan Ferit Eniser, Simos Gerasimou, Alper Sen

Deep Neural Networks (DNNs) are increasingly deployed in safety-critical applications including autonomous vehicles and medical diagnostics.

Autonomous Vehicles DNN Testing +1

Cannot find the paper you are looking for? You can Submit a new open access paper.