Shimmer93 / Deephunter-backup
☆14Updated 2 years ago
Related projects: ⓘ
- ADAPT is the open source white-box testing framework for deep neural networks☆21Updated last year
- ☆18Updated 5 years ago
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆50Updated 6 years ago
- ☆24Updated 3 years ago
- This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.☆53Updated 10 months ago
- This is the implementation repository of our incoming ESEC/FSE 2021 paper: Exposing Numerical Bugs in Deep Learning via GradientBack-prop…☆14Updated last year
- An Automatic DNN TrainingProblem Detection and Repair System☆17Updated 8 months ago
- Mutation-based Fault Localization of Deep Neural Networks☆10Updated 7 months ago
- DeepInspect code release☆11Updated 4 years ago
- Code release of a paper "Guiding Deep Learning System Testing using Surprise Adequacy"☆46Updated 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…☆26Updated 3 months ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆22Updated 6 months ago
- precision-error guided fuzz testing for deep learning operators☆8Updated 3 years ago
- ☆64Updated last year
- For our paper DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions (ISSTA'22)☆33Updated 2 years ago
- VulTrigger is a tool to for identifying vulnerability-triggering statements across functions and investigating the effectiveness of funct…☆23Updated 8 months ago
- ☆11Updated last year
- A systematic testing tool for automatically detecting erroneous behaviors of DNN-driven vehicles☆78Updated 5 years ago
- ☆23Updated 3 weeks ago
- DeepWukong: Statically Detecting Software Vulnerabilities Using Deep Graph Neural Network☆82Updated 2 years ago
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆10Updated last year
- this is the repository for the paper titled "The Best of Both Worlds: Integrating Semantic Features with Expert Features for Defect Predi…☆14Updated last year
- ☆15Updated 4 years ago
- ☆47Updated 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 3 years ago
- ☆11Updated 2 years ago
- Replication package for "Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection", ICSE 2024.☆39Updated 3 months ago
- Code release for RobOT (ICSE'21)☆14Updated last year
- Smart Contract Security Vulnerability Detection Method based on Target-guided Symbolic Execution☆13Updated 2 years ago