RU-System-Software-and-Security / CovTestingLinks
DNN Coverage Based Testing Study
☆16Updated 5 years ago
Alternatives and similar repositories for CovTesting
Users that are interested in CovTesting are comparing it to the libraries listed below
Sorting:
- Code release of a paper "Guiding Deep Learning System Testing using Surprise Adequacy"☆49Updated 3 years ago
- This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.☆55Updated 2 years ago
- ☆25Updated 4 years ago
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆52Updated 7 years ago
- DeepLocalize: Fault Localization for Deep NeuralNetworks☆27Updated 4 years ago
- This repository contains the dataset of our ISSTA 2018 paper: An Empirical Study on TensorFlow Program Bugs.☆29Updated 5 years ago
- ADAPT is the open source white-box testing framework for deep neural networks☆22Updated 2 years ago
- [TOSEM 2023] A Survey of Learning-based Automated Program Repair☆73Updated last year
- ☆19Updated 6 years ago
- A Mining Approach towards Automating Regression Dataset Construction from Code Evolution History☆34Updated 11 months ago
- Awesome material(papers, tools, etc.) about testing machine learning system, including deep learning system.☆48Updated 4 years ago
- Concolic Testing for Deep Neural Networks☆119Updated 4 years ago
- Fault Localization using hybrid formulae for CS5704: Software Engineering project☆12Updated 7 years ago
- This repository is for the paper of ICSE 2023: Regression Fuzzing for Deep Learning Systems☆12Updated last year
- A systematic testing tool for automatically detecting erroneous behaviors of DNN-driven vehicles☆81Updated 6 years ago
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆25Updated 4 years ago
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆12Updated 2 years ago
- ☆10Updated 2 years ago
- ☆27Updated 5 years ago
- Generating Adversarial Examples for Holding Robustness of Source Code Processing Models☆14Updated 4 years ago
- EvalDNN: A Toolbox for Evaluating Deep Neural Network Models☆16Updated 5 years ago
- Testing Deep Neural Networks☆15Updated 7 years ago
- This is the project repository of our ASE22 paper: Natural Test Generation for Precise Testing of Question Answering Software☆14Updated 3 years ago
- Code release for RobOT (ICSE'21)☆15Updated 3 years ago
- ☆47Updated 7 years ago
- ICSE2021 Submission☆13Updated 3 years ago
- the code for three models introduced in DYNAMIC NEURAL PROGRAM EMBEDDINGS FOR PROGRAM REPAIR (ICLR 18)☆33Updated 7 years ago
- Reward Guided Test Generation for Deep Learning☆21Updated last year
- An Automatic DNN TrainingProblem Detection and Repair System☆20Updated last year
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆81Updated 3 years ago