brain-research / tensorfuzzLinks
A library for performing coverage guided fuzzing of neural networks
☆208Updated 6 years ago
Alternatives and similar repositories for tensorfuzz
Users that are interested in tensorfuzz are comparing it to the libraries listed below
Sorting:
- Concolic Testing for Deep Neural Networks☆119Updated 3 years ago
- A certifiable defense against adversarial examples by training neural networks to be provably robust☆220Updated 10 months ago
- DeepXplore code release☆397Updated 3 years ago
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆52Updated 6 years ago
- Reward Guided Test Generation for Deep Learning☆20Updated 10 months ago
- ☆47Updated 6 years ago
- ☆20Updated 8 years ago
- ☆44Updated 7 years ago
- Interfaces for defining Robust ML models and precisely specifying the threat models under which they claim to be secure.☆62Updated 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
- MLonCode community effort to implement Learning Distributed Representations of Code (https://arxiv.org/pdf/1803.09473.pdf)☆39Updated 6 years ago
- Taxonomy of Real Faults in Deep Learning Systems☆16Updated 5 years ago
- Website for Learning from "Big Code"☆29Updated 3 years ago
- ☆24Updated 4 years ago
- ☆9Updated 5 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆47Updated 3 years ago
- This repository contains the dataset of our ISSTA 2018 paper: An Empirical Study on TensorFlow Program Bugs.☆30Updated 5 years ago
- All code for the Piecewise Linear Neural Networks verification: A comparative study paper☆35Updated 6 years ago
- Awesome material(papers, tools, etc.) about testing machine learning system, including deep learning system.☆48Updated 3 years ago
- ETH Robustness Analyzer for Deep Neural Networks☆334Updated 2 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 2 years ago
- The released code of ReluVal in USENIX Security 2018☆59Updated 5 years ago
- Safety Verification of Deep Neural Networks☆50Updated 7 years ago
- A community-run reference for state-of-the-art adversarial example defenses.☆50Updated 7 months ago
- Neural Code Comprehension: A Learnable Representation of Code Semantics☆213Updated 6 months ago
- Utilities used by the Deep Program Understanding team☆102Updated last year
- 58069 Java source code diffs. http://arxiv.org/pdf/1807.03200☆94Updated 5 years ago
- Replication Code for "Self-Supervised Bug Detection and Repair" NeurIPS 2021☆111Updated 2 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Updated 5 years ago
- LaTeX source for the paper "On Evaluating Adversarial Robustness"☆255Updated 4 years ago