Coverage-Guided Testing of Long Short-Term Memory (LSTM) Networks
☆18Dec 15, 2020Updated 5 years ago
Alternatives and similar repositories for testRNN
Users that are interested in testRNN are comparing it to the libraries listed below
Sorting:
- ☆15Aug 5, 2020Updated 5 years ago
- ☆10Dec 27, 2022Updated 3 years ago
- ☆10Feb 3, 2021Updated 5 years ago
- An Automatic DNN TrainingProblem Detection and Repair System☆20Dec 23, 2023Updated 2 years ago
- Adversarial Robustness for Code☆16Mar 30, 2021Updated 4 years ago
- Testing Deep Neural Networks☆15Jul 4, 2018Updated 7 years ago
- Code release for RobOT (ICSE'21)☆15Dec 5, 2022Updated 3 years ago
- Generating Adversarial Examples for Holding Robustness of Source Code Processing Models☆14Dec 2, 2021Updated 4 years ago
- Concolic Testing for Deep Neural Networks☆119Jul 16, 2021Updated 4 years ago
- The code of our paper "Misbehaviour Prediction for Autonomous Driving Systems", including our improved Udacity simulator☆21Jun 30, 2021Updated 4 years ago
- Code release of a paper "Guiding Deep Learning System Testing using Surprise Adequacy"☆50May 26, 2022Updated 3 years ago
- ☆29Oct 29, 2022Updated 3 years ago
- ☆10Mar 24, 2025Updated 11 months ago
- real time reachability for the f1Tenth platform☆11Jan 19, 2022Updated 4 years ago
- ☆12Jun 18, 2024Updated last year
- Extracts static code features from opencl kernels to be used for machine learning.☆10Apr 30, 2021Updated 4 years ago
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.☆10Sep 6, 2022Updated 3 years ago
- NVD，CNNVD软件漏洞数据集，漏洞文本预处理，训练算法模型进行漏洞分类☆11Oct 13, 2018Updated 7 years ago
- [NeurIPS 2024] Efficiency for Free: Ideal Data Are Transportable Representations☆19Jan 19, 2025Updated last year
- CAPD library☆16Jan 4, 2026Updated last month
- Temporal Logic Extractor☆12May 12, 2017Updated 8 years ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- Bias Tests for Voice Technologies (bt4vt)☆11Jun 16, 2024Updated last year
- ☆11Sep 27, 2018Updated 7 years ago
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Jan 5, 2024Updated 2 years ago
- A platform that provides users with easy access to AI services developed by Montimage and usage of explainable AI techniques (e.g., LIME,…☆10Feb 17, 2026Updated last week
- Generation tool for offset-resistant audio adversarial examples against Deepspeech☆10Oct 5, 2020Updated 5 years ago
- This repository contains the code for the paper "Exploiting Foundation Models and Speech Enhancement for Parkinson's Disease Detection fr…☆11Dec 19, 2025Updated 2 months ago
- Bilateral Neural Network implementation in Tensorflow☆51Mar 23, 2019Updated 6 years ago
- Tool, paper, and study data for DeepManeuver: Adversarial Test Generation for Trajectory Manipulation of Autonomous Vehicles.☆11Aug 26, 2023Updated 2 years ago
- [ICML 2022] Robust Deep Reinforcement Learning through Bootstrapped Opportunistic Curriculum☆11Jul 15, 2022Updated 3 years ago
- The Charon tool for analyzing neural network robustness☆13Mar 19, 2020Updated 5 years ago
- ☆10Mar 24, 2023Updated 2 years ago
- ICLR 2019 Paper, "Characterizing Audio Adversarial Examples using Temporal Dependency".☆12Apr 3, 2019Updated 6 years ago
- ☆15Jun 18, 2024Updated last year
- ⚒️ Tree-sitter custom toolkit for extracting function and class from raw source file☆51Jul 1, 2024Updated last year
- This example shows how to perform quantization aware training for transfer learned MobileNet-v2 network.☆12Dec 19, 2023Updated 2 years ago