brain-research / tensorfuzz
A library for performing coverage guided fuzzing of neural networks
☆208Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for tensorfuzz
- Concolic Testing for Deep Neural Networks☆117Updated 3 years ago
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆51Updated 6 years ago
- Reward Guided Test Generation for Deep Learning☆20Updated 3 months ago
- DeepXplore code release☆393Updated 2 years ago
- A certifiable defense against adversarial examples by training neural networks to be provably robust☆218Updated 3 months ago
- ☆21Updated 7 years ago
- ☆8Updated 4 years ago
- Vision based algorithms for falsification of convolutional neural networks☆12Updated 6 years ago
- Interfaces for defining Robust ML models and precisely specifying the threat models under which they claim to be secure.☆62Updated 5 years ago
- ☆47Updated 6 years ago
- A systematic testing tool for automatically detecting erroneous behaviors of DNN-driven vehicles☆79Updated 5 years ago
- ☆24Updated 3 years ago
- neural network assisted fuzzer☆394Updated 4 years ago
- Code release of a paper "Guiding Deep Learning System Testing using Surprise Adequacy"☆46Updated 2 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
- Contains the code for our ICSE 2020 paper: Big Code != Big Vocabulary: Open-Vocabulary Language Models for Source Code and for its earlie…☆83Updated last year
- The released code of ReluVal in USENIX Security 2018☆56Updated 4 years ago
- ☆55Updated 5 years ago
- Taxonomy of Real Faults in Deep Learning Systems☆16Updated 4 years ago
- ETH Robustness Analyzer for Deep Neural Networks☆322Updated last year
- Website for Learning from "Big Code"☆29Updated 3 years ago
- All code for the Piecewise Linear Neural Networks verification: A comparative study paper☆34Updated 6 years ago
- A community-run reference for state-of-the-art adversarial example defenses.☆49Updated last month
- Pytorch implementation of MalConv☆70Updated 2 years ago
- Utilities used by the Deep Program Understanding team☆102Updated last year
- Neural Code Comprehension: A Learnable Representation of Code Semantics☆206Updated 3 months ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆45Updated 3 years ago
- Codes for reproducing the experimental results in "CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Net…☆27Updated 3 years ago
- A toolkit for pre-processing large source code corpora☆46Updated 2 years ago
- VizSec17: Web-based visualization tool for adversarial machine learning / LiveDemo☆130Updated last year