kupl / adapt
ADAPT is the open source white-box testing framework for deep neural networks
☆22Updated last year
Alternatives and similar repositories for adapt:
Users that are interested in adapt are comparing it to the libraries listed below
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆52Updated 6 years ago
- ☆24Updated 3 years ago
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆26Updated 4 years ago
- Code release for RobOT (ICSE'21)☆15Updated 2 years ago
- This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.☆54Updated last year
- A Static Differential Analysis Tool of Network Protocol Parsers☆22Updated last year
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆11Updated 2 years ago
- Reward Guided Test Generation for Deep Learning☆20Updated 7 months ago
- ☆16Updated 6 months ago
- ☆12Updated 2 years ago
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆34Updated 2 years ago
- ☆9Updated 5 years ago
- ☆29Updated last year
- DeepInspect code release☆11Updated 5 years ago
- This repository is for the paper of ICSE 2023: Regression Fuzzing for Deep Learning Systems☆12Updated last year
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆60Updated last year
- ☆18Updated 2 years ago
- We propose a novel DL-based mutation technique (LEAM), which adapts the syntax-guided encoder-decoder architecture to build two sub-model…☆27Updated 8 months ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆28Updated this week
- ☆15Updated last year
- The library for symbolic interval☆21Updated 4 years ago
- ☆28Updated 2 years ago
- VulTrigger is a tool to for identifying vulnerability-triggering statements across functions and investigating the effectiveness of funct…☆32Updated last year
- ☆74Updated 2 years ago
- Code release of a paper "Guiding Deep Learning System Testing using Surprise Adequacy"☆46Updated 2 years ago
- ☆79Updated last year
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆44Updated last year
- MegaVul - The largest, high-quality, extensible, continuously updated, C/C++/Java vulnerability dataset☆62Updated 2 months ago
- ☆24Updated 4 years ago