TrustAI/DeepCover external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

TrustAI/DeepCover

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/TrustAI/DeepCover)

Close

TrustAI / DeepCoverView on GitHubMore

• External links
• Readme badge

Testing Deep Neural Networks

☆15Jul 4, 2018Updated 7 years ago

Alternatives and similar repositories for DeepCover

Users that are interested in DeepCover are comparing it to the libraries listed below

• matthewwicker / SafeCV

  View on GitHub
  Vision based algorithms for falsification of convolutional neural networks
  ☆12Jan 25, 2018Updated 8 years ago
• RU-System-Software-and-Security / CovTesting

  View on GitHub
  DNN Coverage Based Testing Study
  ☆16Jul 12, 2020Updated 5 years ago
• KaidiXu / LiRPA_Verify

  View on GitHub
  Code for paper "Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers"
  ☆17Jan 27, 2023Updated 3 years ago
• JmfanBU / ReachNNStar

  View on GitHub
  Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
  ☆17Mar 25, 2023Updated 2 years ago
• peikexin9 / deepxplore

  View on GitHub
  DeepXplore code release
  ☆397Mar 17, 2022Updated 3 years ago
• coinse / sadl

  View on GitHub
  Code release of a paper "Guiding Deep Learning System Testing using Surprise Adequacy"
  ☆50May 26, 2022Updated 3 years ago
• klasleino / gloro

  View on GitHub
  Library for training globally-robust neural networks.
  ☆31Aug 7, 2025Updated 6 months ago
• ForeverZyh / DEBAR

  View on GitHub
  This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…
  ☆25Dec 17, 2020Updated 5 years ago
• dgl-prc / m_testing_adversatial_sample

  View on GitHub
  ☆27May 27, 2020Updated 5 years ago
• theyoucheng / deepcover

  View on GitHub
  DeepCover: Uncover the truth behind AI
  ☆32Apr 9, 2024Updated last year
• Conturing / affinitree

  View on GitHub
  ☆10Mar 24, 2025Updated 11 months ago
• pmusau17 / rtreach_f1tenth

  View on GitHub
  real time reachability for the f1Tenth platform
  ☆11Jan 19, 2022Updated 4 years ago
• ZhaoyangLyu / FROWN

  View on GitHub
  Fastened CROWN: Tightened Neural Network Robustness Certificates
  ☆10Feb 10, 2020Updated 6 years ago
• wangy8989 / FinPFN

  View on GitHub
  Financial Prior-Data Fitted Network (regression)
  ☆20Dec 12, 2025Updated 2 months ago
• repotudou / HFT_Project

  View on GitHub
  Apply different deep learning models to limit order book.
  ☆11Mar 6, 2018Updated 7 years ago
• dbrainio / wrappa

  View on GitHub
  Server wrapper for ml models
  ☆11Sep 11, 2019Updated 6 years ago
• xQxCPMxQx / LeagueSharp2

  View on GitHub
  LeagueSharp2
  ☆15Jun 6, 2023Updated 2 years ago
• golems / motion-grammar-kit

  View on GitHub
  Formal Language Tools for Robots
  ☆15Jun 29, 2016Updated 9 years ago
• Gabrielvon / QuantWork

  View on GitHub
  ☆12Apr 17, 2021Updated 4 years ago
• Airwiwin / flouz

  View on GitHub
  python, ccxt, backtrader, dash
  ☆10Apr 20, 2018Updated 7 years ago
• KKallidromitis / Contrastive-Neural-Processes

  View on GitHub
  Implementation of Contrastive Neural Processes in PyTorch
  ☆11Dec 7, 2022Updated 3 years ago
• pauls658 / ReluDiff-ICSE2020-Artifact

  View on GitHub
  Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"
  ☆11Feb 1, 2022Updated 4 years ago
• LRH1993 / AIDLdemo

  View on GitHub
  使用AIDL进行跨进程通信
  ☆11Feb 18, 2017Updated 9 years ago
• xuesongwang / Neural-Process-Family

  View on GitHub
  ☆11May 26, 2023Updated 2 years ago
• anand-bala / argus

  View on GitHub
  Tool/library for manipulating and monitoring temporal logic specifications
  ☆11Oct 31, 2023Updated 2 years ago
• CAPDGroup / CAPD

  View on GitHub
  CAPD library
  ☆16Jan 4, 2026Updated last month
• casual-silva / captcha_cracking

  View on GitHub
  opencv 识别滑动验证缺口位置
  ☆11Mar 16, 2020Updated 5 years ago
• jjakimoto / btbot

  View on GitHub
  Trading Bot using backtrader.
  ☆14Sep 27, 2018Updated 7 years ago
• MissMeriel / DeepManeuver

  View on GitHub
  Tool, paper, and study data for DeepManeuver: Adversarial Test Generation for Trajectory Manipulation of Autonomous Vehicles.
  ☆11Aug 26, 2023Updated 2 years ago
• cpslab-asu / psy-taliro

  View on GitHub
  Search-based test generation toolbox written in Python
  ☆17Oct 27, 2025Updated 4 months ago
• swa112003 / DistributionAwareDNNTesting

  View on GitHub
  ☆10Feb 3, 2021Updated 5 years ago
• abramwang / QuantStageApi_Python

  View on GitHub
  PT_QuantBaseApi python version
  ☆14Apr 21, 2019Updated 6 years ago
• diffblue / java-demo

  View on GitHub
  Demonstration project for Java analysis
  ☆14Aug 1, 2024Updated last year
• ssvlab / dsverifier

  View on GitHub
  DSVerifier - Digital Systems Verifier
  ☆11Feb 22, 2019Updated 7 years ago
• zhaofeng-zheng / okexFuturesArbitrage

  View on GitHub
  This is a simple arbitrage programmme based on coin margined futures at OKEx.
  ☆13Apr 10, 2020Updated 5 years ago
• Lizn-zn / DNNOpAcc

  View on GitHub
  ☆10Dec 27, 2022Updated 3 years ago
• gaoxiang9430 / sensei

  View on GitHub
  ☆12Jun 26, 2020Updated 5 years ago
• ZhaoyangLyu / POPQORN

  View on GitHub
  An Algorithm to Quantify Robustness of Recurrent Neural Networks
  ☆49Apr 24, 2020Updated 5 years ago
• Turing-Project / AI-Video-Transfer

  View on GitHub
  ☆13Nov 29, 2022Updated 3 years ago