Yuanyuan-Yuan / NeuraL-Coverage
Research Artifact of ICSE 2023 Paper: Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion
☆253Updated last week
Related projects ⓘ
Alternatives and complementary repositories for NeuraL-Coverage
- Implementation of MRm-DLDet☆17Updated last year
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆10Updated last year
- Djinn-Agent: A lightweight CLI tool for seamless interaction with Claude's advanced computer-use capabilities, automating complex tasks f…☆24Updated 2 weeks ago
- ☆10Updated 7 months ago
- Code release of a paper "Guiding Deep Learning System Testing using Surprise Adequacy"☆46Updated 2 years ago
- ☆18Updated 5 years ago
- Research Artifact of USENIX Security 2023 Paper: Precise and Generalized Robustness Certification for Neural Networks☆12Updated last year
- Code release for RobOT (ICSE'21)☆15Updated last year
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆50Updated 6 years ago
- Concolic Testing for Deep Neural Networks☆117Updated 3 years ago
- White-box Fairness Testing through Adversarial Sampling☆12Updated 3 years ago
- ☆24Updated 3 years ago
- A video-based distracted driver detection system.☆21Updated 2 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
- DeepInspect code release☆11Updated 4 years ago
- ☆14Updated 2 years ago
- DriveTester: A Unified Platform for Simulation-Based Autonomous Driving Testing☆19Updated last month
- Code for tracelet-level symbolic execution☆16Updated 2 years ago
- ADAPT is the open source white-box testing framework for deep neural networks☆21Updated last year
- This repository is for the paper of ICSE 2023: Regression Fuzzing for Deep Learning Systems☆12Updated 8 months ago
- DNN Coverage Based Testing Study☆16Updated 4 years ago
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆73Updated 2 years ago
- Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.☆23Updated last year
- CIPHERH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations☆13Updated 10 months ago
- A systematic testing tool for automatically detecting erroneous behaviors of DNN-driven vehicles☆79Updated 5 years ago
- [TOSEM 2023] A Survey of Learning-based Automated Program Repair☆68Updated 6 months ago
- A study on the capabilities and implications of ChatGPT on classroom exercises for software testing. Accepted in ICSTW 2023.☆14Updated last year
- ☆15Updated 5 months ago
- Safety Verification of Deep Neural Networks☆50Updated 6 years ago