Shimmer93 / Deephunter-backup
☆18Updated 2 years ago
Alternatives and similar repositories for Deephunter-backup:
Users that are interested in Deephunter-backup are comparing it to the libraries listed below
- ☆18Updated 5 years ago
- ADAPT is the open source white-box testing framework for deep neural networks☆22Updated 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
- ☆24Updated 4 years ago
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆52Updated 6 years ago
- This is the implementation repository of our incoming ESEC/FSE 2021 paper: Exposing Numerical Bugs in Deep Learning via GradientBack-prop…☆14Updated 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 9 months ago
- This repository is for the paper of ICSE 2023: Regression Fuzzing for Deep Learning Systems☆12Updated last year
- 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
- DeepInspect code release☆11Updated 5 years ago
- ☆9Updated 5 years ago
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…☆13Updated last year
- Code release of a paper "Guiding Deep Learning System Testing using Surprise Adequacy"☆46Updated 2 years ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆35Updated last year
- An Automatic DNN TrainingProblem Detection and Repair System☆17Updated last year
- precision-error guided fuzz testing for deep learning operators☆8Updated 3 years ago
- ☆12Updated 2 years 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…☆29Updated 3 weeks ago
- ☆24Updated 3 weeks ago
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆11Updated 2 years ago
- Labeled vulnerable functions statistics analysis and neural network training☆26Updated 5 years ago
- ☆12Updated last year
- CD-VulD based on DR and TL☆8Updated 6 years ago
- Smart Contract Security Vulnerability Detection Method based on Target-guided Symbolic Execution☆13Updated 2 years ago
- ☆31Updated last year
- 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
- ☆80Updated last year
- DeepWukong: Statically Detecting Software Vulnerabilities Using Deep Graph Neural Network☆103Updated 2 years ago
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆22Updated last year
- This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX☆69Updated 2 years ago