RU-System-Software-and-Security / CovTesting
DNN Coverage Based Testing Study
☆16Updated 4 years ago
Alternatives and similar repositories for CovTesting:
Users that are interested in CovTesting are comparing it to the libraries listed below
- ☆19Updated 5 years ago
- ☆24Updated 4 years ago
- This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.☆54Updated last year
- ☆24Updated 3 years ago
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆52Updated 6 years ago
- Code release for RobOT (ICSE'21)☆14Updated 2 years ago
- Code release of a paper "Guiding Deep Learning System Testing using Surprise Adequacy"☆46Updated 2 years ago
- This repository provide the studies on the security of language models for code (CodeLMs).☆43Updated last month
- 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
- This repository is for the paper of ICSE 2023: Regression Fuzzing for Deep Learning Systems☆12Updated 11 months ago
- Reward Guided Test Generation for Deep Learning☆20Updated 5 months ago
- ☆10Updated 2 years ago
- ADAPT is the open source white-box testing framework for deep neural networks☆21Updated last year
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆11Updated last year
- An Automatic DNN TrainingProblem Detection and Repair System☆17Updated last year
- This repository contains the dataset of our ISSTA 2018 paper: An Empirical Study on TensorFlow Program Bugs.☆30Updated 4 years ago
- EvalDNN: A Toolbox for Evaluating Deep Neural Network Models☆15Updated 4 years ago
- DeepInspect code release☆11Updated 4 years ago
- Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf☆27Updated 3 years ago
- ☆15Updated 8 months ago
- ☆26Updated last year
- A systematic testing tool for automatically detecting erroneous behaviors of DNN-driven vehicles☆80Updated 5 years ago
- Testing Deep Neural Networks☆15Updated 6 years ago
- A Mining Approach towards Automating Regression Dataset Construction from Code Evolution History☆35Updated last month
- ☆24Updated 4 months ago
- This is the implementation repository of our incoming ESEC/FSE 2021 paper: Exposing Numerical Bugs in Deep Learning via GradientBack-prop…☆13Updated 2 years ago
- Developed with the UROP, Detecting Deep Learning Software Defects (Spring 2019), HKUST☆22Updated 4 years ago
- [ICLR 2021] "Generating Adversarial Computer Programs using Optimized Obfuscations" by Shashank Srikant, Sijia Liu, Tamara Mitrovska, Shi…☆27Updated 3 years ago
- ☆17Updated 3 years ago
- Code for the AAAI 2023 paper "CodeAttack: Code-based Adversarial Attacks for Pre-Trained Programming Language Models☆26Updated last year