TrustAI / DeepCover
Testing Deep Neural Networks
☆15Updated 6 years ago
Alternatives and similar repositories for DeepCover:
Users that are interested in DeepCover are comparing it to the libraries listed below
- ☆24Updated 3 years ago
- Concolic Testing for Deep Neural Networks☆117Updated 3 years ago
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆52Updated 6 years ago
- Vision based algorithms for falsification of convolutional neural networks☆12Updated 7 years ago
- ☆24Updated 4 years ago
- The released code of ReluVal in USENIX Security 2018☆57Updated 4 years ago
- Reward Guided Test Generation for Deep Learning☆20Updated 5 months ago
- The released code of Neurify in NIPS 2018☆46Updated 2 years ago
- Code release of a paper "Guiding Deep Learning System Testing using Surprise Adequacy"☆46Updated 2 years ago
- ☆19Updated 5 years ago
- Safety Verification of Deep Neural Networks☆50Updated 6 years ago
- ADAPT is the open source white-box testing framework for deep neural networks☆21Updated last year
- Code release for RobOT (ICSE'21)☆14Updated 2 years ago
- ☆26Updated last year
- ☆10Updated 2 years ago
- Fourth edition of VNN COMP (2023)☆16Updated last year
- This repo keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on …☆100Updated 2 years ago
- ☆8Updated 5 years ago
- VNN Neural Network Verification Competition 2021☆37Updated 3 years ago
- DeepInspect code release☆11Updated 4 years ago
- DNN Coverage Based Testing Study☆16Updated 4 years ago
- A systematic testing tool for automatically detecting erroneous behaviors of DNN-driven vehicles☆80Updated 5 years ago
- This repository is for NeurIPS 2018 spotlight paper "Attacks Meet Interpretability: Attribute-steered Detection of Adversarial Samples."☆31Updated 2 years ago
- Detecting Adversarial Examples in Deep Neural Networks☆66Updated 6 years ago
- The library for symbolic interval☆20Updated 4 years ago
- The official repo for GCP-CROWN paper☆13Updated 2 years ago
- Codes for reproducing the robustness evaluation scores in “Evaluating the Robustness of Neural Networks: An Extreme Value Theory Approac…☆50Updated 6 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
- Venus is a state-of-the-art sound and complete verification toolkit for Relu-based feed-forward neural networks. It can be used to check…☆14Updated 2 years ago
- ☆101Updated 4 years ago