peikexin9 / deepxploreView external linksLinks
DeepXplore code release
☆397Mar 17, 2022Updated 3 years ago
Alternatives and similar repositories for deepxplore
Users that are interested in deepxplore are comparing it to the libraries listed below
Sorting:
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆52Jun 14, 2018Updated 7 years ago
- Concolic Testing for Deep Neural Networks☆119Jul 16, 2021Updated 4 years ago
- Testing Deep Neural Networks☆15Jul 4, 2018Updated 7 years ago
- Reward Guided Test Generation for Deep Learning☆21Aug 2, 2024Updated last year
- ☆25Mar 20, 2021Updated 4 years ago
- Code release of a paper "Guiding Deep Learning System Testing using Surprise Adequacy"☆50May 26, 2022Updated 3 years ago
- Vision based algorithms for falsification of convolutional neural networks☆12Jan 25, 2018Updated 8 years ago
- ADAPT is the open source white-box testing framework for deep neural networks☆22Mar 15, 2023Updated 2 years ago
- Code release for RobOT (ICSE'21)☆15Dec 5, 2022Updated 3 years ago
- ☆101Jul 8, 2020Updated 5 years ago
- A library for performing coverage guided fuzzing of neural networks☆214Sep 25, 2018Updated 7 years ago
- ☆10Feb 3, 2021Updated 5 years ago
- Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks? (FSE 2020)☆10Sep 23, 2021Updated 4 years ago
- Safety Verification of Deep Neural Networks☆50Feb 5, 2018Updated 8 years ago
- ☆19Aug 18, 2019Updated 6 years ago
- ☆10Nov 5, 2016Updated 9 years ago
- ☆12Jun 26, 2020Updated 5 years ago
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆12Feb 15, 2023Updated 2 years ago
- ETH Robustness Analyzer for Deep Neural Networks☆343Jan 27, 2023Updated 3 years ago
- An adversarial example library for constructing attacks, building defenses, and benchmarking both☆6,410Apr 10, 2024Updated last year
- InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing☆83Jun 21, 2020Updated 5 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 9 years ago
- Benchmark to test different stop the exploit mitigations☆18Jan 8, 2019Updated 7 years ago
- ☆14Dec 10, 2021Updated 4 years ago
- ☆13May 25, 2022Updated 3 years ago
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆10Apr 21, 2022Updated 3 years ago
- ☆22Aug 15, 2022Updated 3 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
- Codes for reproducing the experimental results in "CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Net…☆27Jun 23, 2021Updated 4 years ago
- A certifiable defense against adversarial examples by training neural networks to be provably robust☆221Jul 25, 2024Updated last year
- This repository contains a simple implementation of Interval Bound Propagation (IBP) using TensorFlow: https://arxiv.org/abs/1810.12715☆161Dec 20, 2019Updated 6 years ago
- ☆22Jun 7, 2022Updated 3 years ago
- A library for adversarial classifier evasion☆43Dec 4, 2014Updated 11 years ago
- Demonstrating the BadAss issue.☆17May 19, 2025Updated 8 months ago
- A method for training neural networks that are provably robust to adversarial attacks. [IJCAI 2019]☆10Sep 3, 2019Updated 6 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Sep 28, 2018Updated 7 years ago
- ☆27May 27, 2020Updated 5 years ago
- ☆19Dec 9, 2022Updated 3 years ago
- Step by step manual for building KLEE☆18Jul 21, 2017Updated 8 years ago