DeepXplore code release
☆395Mar 17, 2022Updated 4 years ago
Alternatives and similar repositories for deepxplore
Users that are interested in deepxplore are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆53Jun 14, 2018Updated 7 years ago
- A systematic testing tool for automatically detecting erroneous behaviors of DNN-driven vehicles☆81Feb 12, 2019Updated 7 years ago
- Concolic Testing for Deep Neural Networks☆119Jul 16, 2021Updated 4 years ago
- Reward Guided Test Generation for Deep Learning☆21Aug 2, 2024Updated last year
- Testing Deep Neural Networks☆15Jul 4, 2018Updated 7 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Vision based algorithms for falsification of convolutional neural networks☆12Jan 25, 2018Updated 8 years ago
- ☆25Mar 20, 2021Updated 5 years ago
- Code release of a paper "Guiding Deep Learning System Testing using Surprise Adequacy"☆50May 26, 2022Updated 3 years ago
- ☆44Aug 25, 2017Updated 8 years ago
- A library for performing coverage guided fuzzing of neural networks☆214Sep 25, 2018Updated 7 years ago
- ☆10Feb 3, 2021Updated 5 years ago
- ADAPT is the open source white-box testing framework for deep neural networks☆22Mar 15, 2023Updated 3 years ago
- Code release for RobOT (ICSE'21)☆15Dec 5, 2022Updated 3 years ago
- ☆104Jul 8, 2020Updated 5 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- DeepInspect code release☆11Feb 11, 2020Updated 6 years ago
- ☆19Aug 18, 2019Updated 6 years ago
- Safety Verification of Deep Neural Networks☆50Feb 5, 2018Updated 8 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 9 years ago
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆12Feb 15, 2023Updated 3 years ago
- Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks? (FSE 2020)☆10Sep 23, 2021Updated 4 years ago
- Tools and data of the paper "Model-based Exploration of the Frontier of Behaviours for Deep Learning System Testing"☆15Jul 9, 2024Updated last year
- An adversarial example library for constructing attacks, building defenses, and benchmarking both☆6,424Apr 10, 2024Updated last year
- Interval attacks (adversarial ML)☆21Jun 17, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆22Jun 7, 2022Updated 3 years ago
- Benchmark to test different stop the exploit mitigations☆18Jan 8, 2019Updated 7 years ago
- ETH Robustness Analyzer for Deep Neural Networks☆343Jan 27, 2023Updated 3 years ago
- DeepCover: Uncover the truth behind AI☆32Apr 9, 2024Updated last year
- A certifiable defense against adversarial examples by training neural networks to be provably robust☆220Jul 25, 2024Updated last year
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆10Apr 21, 2022Updated 3 years ago
- ☆22Aug 15, 2022Updated 3 years ago
- Cost-Aware Robust Tree Ensembles for Security Applications (Usenix Security'21) https://arxiv.org/pdf/1912.01149.pdf☆18Mar 2, 2021Updated 5 years ago
- ☆27May 27, 2020Updated 5 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- ☆10Nov 5, 2016Updated 9 years ago
- InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing☆84Jun 21, 2020Updated 5 years ago
- Coverage-Guided Testing of Long Short-Term Memory (LSTM) Networks☆18Dec 15, 2020Updated 5 years ago
- The released code of Neurify in NIPS 2018☆51Dec 8, 2022Updated 3 years ago
- ☆11Mar 3, 2019Updated 7 years ago
- A collection of widely-fuzzed targets☆46Aug 4, 2019Updated 6 years ago
- Fooling neural based speech recognition systems.☆14Jun 9, 2017Updated 8 years ago