DeepXplore code release
☆393Mar 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☆52Jun 14, 2018Updated 8 years ago
- A systematic testing tool for automatically detecting erroneous behaviors of DNN-driven vehicles☆79Feb 12, 2019Updated 7 years ago
- Concolic Testing for Deep Neural Networks☆117Jul 16, 2021Updated 5 years ago
- Reward Guided Test Generation for Deep Learning☆21Aug 2, 2024Updated 2 years ago
- Vision based algorithms for falsification of convolutional neural networks☆12Jan 25, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆23Mar 20, 2021Updated 5 years ago
- Testing Deep Neural Networks☆15Jul 4, 2018Updated 8 years ago
- Code release of a paper "Guiding Deep Learning System Testing using Surprise Adequacy"☆48May 26, 2022Updated 4 years ago
- A library for performing coverage guided fuzzing of neural networks☆212Sep 25, 2018Updated 8 years ago
- ☆44Aug 25, 2017Updated 9 years ago
- Code release for RobOT (ICSE'21)☆15Dec 5, 2022Updated 3 years ago
- Test Selection of Deep Learning☆10Jul 28, 2020Updated 6 years ago
- ADAPT is the open source white-box testing framework for deep neural networks☆22Mar 15, 2023Updated 3 years ago
- ☆104Jul 8, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Safety Verification of Deep Neural Networks☆50Feb 5, 2018Updated 8 years ago
- ☆11Jun 26, 2020Updated 6 years ago
- ☆26May 27, 2020Updated 6 years ago
- DeepInspect code release☆11Feb 11, 2020Updated 6 years ago
- An adversarial example library for constructing attacks, building defenses, and benchmarking both☆6,460Apr 10, 2024Updated 2 years ago
- ☆19Aug 18, 2019Updated 7 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 10 years ago
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆12Feb 15, 2023Updated 3 years ago
- This repository is for NeurIPS 2018 spotlight paper "Attacks Meet Interpretability: Attribute-steered Detection of Adversarial Samples."☆32Apr 27, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks? (FSE 2020)☆10Sep 23, 2021Updated 5 years ago
- A library for adversarial classifier evasion☆43Dec 4, 2014Updated 11 years ago
- Interval attacks (adversarial ML)☆21Jun 17, 2019Updated 7 years ago
- AI-Lancet, backdoor removal☆10Oct 10, 2022Updated 4 years ago
- ETH Robustness Analyzer for Deep Neural Networks☆347Jan 27, 2023Updated 3 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Sep 28, 2018Updated 8 years ago
- The released code of Neurify in NIPS 2018☆50Dec 8, 2022Updated 3 years ago
- DeepCover: Uncover the truth behind AI☆32Apr 9, 2024Updated 2 years ago
- ☆23Jun 7, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Benchmark to test different stop the exploit mitigations☆18Jan 8, 2019Updated 7 years ago
- The released code of ReluVal in USENIX Security 2018☆60Mar 4, 2020Updated 6 years ago
- ☆47Oct 5, 2018Updated 8 years ago
- A curated list of awesome resources regarding machine learning reliability.☆32Apr 26, 2021Updated 5 years ago
- This repository contains a simple implementation of Interval Bound Propagation (IBP) using TensorFlow: https://arxiv.org/abs/1810.12715☆162Dec 20, 2019Updated 6 years ago
- A certifiable defense against adversarial examples by training neural networks to be provably robust☆221Jul 25, 2024Updated 2 years ago
- Developed with the UROP, Detecting Deep Learning Software Defects (Spring 2019), HKUST☆25Dec 24, 2020Updated 5 years ago