Developed with the UROP, Detecting Deep Learning Software Defects (Spring 2019), HKUST
☆25Dec 24, 2020Updated 5 years ago
Alternatives and similar repositories for DeepMutationOperators
Users that are interested in DeepMutationOperators are comparing it to the libraries listed below
Sorting:
- ☆12Mar 24, 2023Updated 2 years ago
- Reward Guided Test Generation for Deep Learning☆21Aug 2, 2024Updated last year
- The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…☆10Mar 18, 2022Updated 3 years ago
- A toolbox for worst-case validation of autonomous policies☆36Dec 8, 2022Updated 3 years ago
- Compare an arbitrary number of .ini files based on logical sections and key/value pairs.☆10Feb 4, 2021Updated 5 years ago
- Conformal Prediction library for Orange3☆10May 24, 2019Updated 6 years ago
- MATLAB Simulink Based Fault Tree Analyzer☆10Mar 12, 2024Updated last year
- ☆11May 26, 2023Updated 2 years ago
- Tkinter Rapid Application Development (RAD) library - Tkinter XML widget building☆10Oct 1, 2020Updated 5 years ago
- A Graph Rewriting Tool for Plot Generation, uses Graph Grammars☆11Mar 3, 2014Updated 11 years ago
- Implementation of Contrastive Neural Processes in PyTorch☆11Dec 7, 2022Updated 3 years ago
- 基于 FISCO BCOS / Vechain 的 超级 NFT 平台。☆11May 11, 2021Updated 4 years ago
- Emergency Auto Braking System modelled with Matlab Simulink☆10Sep 11, 2019Updated 6 years ago
- Caputre the flag with Large Language Models☆26Aug 5, 2025Updated 6 months ago
- ☆10Dec 27, 2022Updated 3 years ago
- ☆32Oct 9, 2025Updated 4 months ago
- ☆10Feb 3, 2021Updated 5 years ago
- ☆12Jun 26, 2020Updated 5 years ago
- My notes while learning datascience☆10May 26, 2018Updated 7 years ago
- Relative Rotation Graph☆12May 31, 2021Updated 4 years ago
- Webshell检测数据集，收集了PHP、JSP、ASP的正常开源代码样本以及恶意Webshell样本。可供Webshell检测研究使用。☆17Dec 11, 2023Updated 2 years ago
- Optimizations on Graph500☆10Jul 15, 2016Updated 9 years ago
- Python package for Simulink-based reinforcement learning environments.☆11Aug 20, 2021Updated 4 years ago
- DeepInspect code release☆11Feb 11, 2020Updated 6 years ago
- The source code to the Website of www.ankicollab.com☆16Feb 20, 2026Updated last week
- TCPMessenger is a lightweight and simple Android library to send and receive tcp messages.☆11Feb 15, 2018Updated 8 years ago
- Pytorch implementation of NPAttack☆12Jul 7, 2020Updated 5 years ago
- esp32_s3_lvgl9_lottie_test☆14May 17, 2024Updated last year
- ☆12Jul 13, 2022Updated 3 years ago
- Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming.☆14Jun 28, 2021Updated 4 years ago
- Inspired by recent advances in coverage-guided analysis of neural networks, we propose a novel anomaly detection method. We show that the…☆13May 26, 2022Updated 3 years ago
- ☆21Jan 21, 2026Updated last month
- ☆13May 25, 2022Updated 3 years ago
- OpenCV Programming☆14Nov 10, 2015Updated 10 years ago
- ☆11Mar 3, 2019Updated 6 years ago
- Change gravity of Image Drawable in TextView 🌌☆10Aug 24, 2020Updated 5 years ago
- Official implementation of paper "Semantic Novelty Detection via Relational Reasoning"☆15Jul 10, 2023Updated 2 years ago
- This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.☆55Oct 29, 2023Updated 2 years ago
- Continuous Integration with MATLAB on Azure DevOps☆15Updated this week