dgl-prc / rnn2automata

Related projects ⓘ

Alternatives and complementary repositories for rnn2automata

• longph1989 / Socrates
  ☆26Updated last year
• IS2Lab / awesome-ai-testing
  ☆15Updated 5 months ago
• ZhenlanJi / DL_CC
  CC: Causality-Aware Coverage Criterion for Deep Neural Networks
  ☆10Updated last year
• xiaoningdu / deepstellar
  ☆15Updated 4 years ago
• pxzhang94 / ADF
  White-box Fairness Testing through Adversarial Sampling
  ☆12Updated 3 years ago
• Testing4AI / RobOT
  Code release for RobOT (ICSE'21)
  ☆15Updated last year
• ZJUNESA / SANDP
  Seminar 2022
  ☆21Updated 3 weeks ago
• kupl / adapt
  ADAPT is the open source white-box testing framework for deep neural networks
  ☆21Updated last year
• DeepImportance / deepimportance_code_release
  ☆24Updated 3 years ago
• PurduePAML / Machine-Learning-Security-Seminar
  Machine Learning & Security Seminar @Purdue University
  ☆25Updated last year
• EQuiw / code-imitator
  ☆29Updated last year
• agisnetwork / agis-engine
  ☆27Updated 3 months ago
• XZ-X / PEM
  ☆14Updated 10 months ago
• turned2670 / DLFuzz
  DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems
  ☆51Updated 6 years ago
• TrustAI / DeepConcolic
  Concolic Testing for Deep Neural Networks
  ☆117Updated 3 years ago
• eth-sri / sven
  ☆96Updated 4 months ago
• llylly / RANUM
  [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.
  ☆12Updated 10 months ago
• zhiyufan / apr4codex
  ☆11Updated last year
• EvanXiaa / Awesome-LLM_For-SE-Sec-Papers
  ☆23Updated 2 months ago
• ForeverZyh / DEBAR
  This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…
  ☆26Updated 3 years ago
• eth-sri / robust-code
  Adversarial Robustness for Code
  ☆16Updated 3 years ago
• tcwangshiqi-columbia / symbolic_interval
  The library for symbolic interval
  ☆20Updated 4 years ago
• shiningrain / AUTOTRAINER
  An Automatic DNN TrainingProblem Detection and Repair System
  ☆17Updated 10 months ago
• ali-ghanbari / deepmufl-ase-2023
  Mutation-based Fault Localization of Deep Neural Networks
  ☆10Updated 9 months ago
• PinjiaHe / StructureInvariantTesting
  Structure-Invariant Testing for Machine Translation [ICSE'20]
  ☆16Updated 3 years ago
• deepgini / deepgini
  ☆18Updated 5 years ago
• dgl-prc / m_testing_adversatial_sample
  ☆24Updated 4 years ago
• yangzhou6666 / Beyond-Accurate-Code-Models
  A collection of publications that works on code models but beyond focusing on the accuracies.
  ☆13Updated last year
• zmw12306 / ParDiff
  A Static Differential Analysis Tool of Network Protocol Parsers
  ☆19Updated 9 months ago