Picture for Hasan Ferit Eniser

Hasan Ferit Eniser

Automatically Testing Functional Properties of Code Translation Models

Add code
Sep 07, 2023
Viaarxiv icon

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

Add code
May 27, 2023
Viaarxiv icon

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

Add code
Jun 13, 2022
Figure 1 for Specifying and Testing $k$-Safety Properties for Machine-Learning Models
Figure 2 for Specifying and Testing $k$-Safety Properties for Machine-Learning Models
Figure 3 for Specifying and Testing $k$-Safety Properties for Machine-Learning Models
Figure 4 for Specifying and Testing $k$-Safety Properties for Machine-Learning Models
Viaarxiv icon

Importance-Driven Deep Learning System Testing

Add code
Feb 09, 2020
Figure 1 for Importance-Driven Deep Learning System Testing
Figure 2 for Importance-Driven Deep Learning System Testing
Figure 3 for Importance-Driven Deep Learning System Testing
Figure 4 for Importance-Driven Deep Learning System Testing
Viaarxiv icon

RAID: Randomized Adversarial-Input Detection for Neural Networks

Add code
Feb 07, 2020
Figure 1 for RAID: Randomized Adversarial-Input Detection for Neural Networks
Figure 2 for RAID: Randomized Adversarial-Input Detection for Neural Networks
Figure 3 for RAID: Randomized Adversarial-Input Detection for Neural Networks
Figure 4 for RAID: Randomized Adversarial-Input Detection for Neural Networks
Viaarxiv icon

DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning

Add code
Nov 24, 2019
Figure 1 for DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning
Figure 2 for DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning
Figure 3 for DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning
Figure 4 for DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning
Viaarxiv icon

DeepFault: Fault Localization for Deep Neural Networks

Add code
Feb 15, 2019
Figure 1 for DeepFault: Fault Localization for Deep Neural Networks
Figure 2 for DeepFault: Fault Localization for Deep Neural Networks
Figure 3 for DeepFault: Fault Localization for Deep Neural Networks
Figure 4 for DeepFault: Fault Localization for Deep Neural Networks
Viaarxiv icon