TrustAI / testRNN

Related projects ⓘ

Alternatives and complementary repositories for testRNN

• ALFA-group / adversarial-code-generation
  [ICLR 2021] "Generating Adversarial Computer Programs using Optimized Obfuscations" by Shashank Srikant, Sijia Liu, Tamara Mitrovska, Shi…
  ☆26Updated 2 years ago
• surrealyz / verified-global-properties
  Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf
  ☆26Updated 2 years ago
• hfeniser / DeepSmartFuzzer
  Reward Guided Test Generation for Deep Learning
  ☆20Updated 3 months ago
• reddy-lab-code-research / CodeAttack
  Code for the AAAI 2023 paper "CodeAttack: Code-based Adversarial Attacks for Pre-Trained Programming Language Models
  ☆25Updated last year
• gavlegoat / charon
  The Charon tool for analyzing neural network robustness
  ☆13Updated 4 years ago
• Testing4AI / RobOT
  Code release for RobOT (ICSE'21)
  ☆15Updated last year
• klasleino / gloro
  Library for training globally-robust neural networks.
  ☆28Updated last year
• coinse / sadl
  Code release of a paper "Guiding Deep Learning System Testing using Surprise Adequacy"
  ☆46Updated 2 years ago
• dgl-prc / m_testing_adversatial_sample
  ☆23Updated 4 years ago
• SEKE-Adversary / MHM
  Generating Adversarial Examples for Holding Robustness of Source Code Processing Models
  ☆12Updated 2 years ago
• Lizn-zn / DNNOpAcc
  ☆9Updated last year
• TrustAI / DeepConcolic
  Concolic Testing for Deep Neural Networks
  ☆117Updated 3 years ago
• Huiying-Li / blacklight
  ☆16Updated 2 years ago
• keowang / dynamic-program-embedding
  the code for three models introduced in DYNAMIC NEURAL PROGRAM EMBEDDINGS FOR PROGRAM REPAIR (ICLR 18)
  ☆32Updated 6 years ago
• dlfaults / taxonomy
  Taxonomy of Real Faults in Deep Learning Systems
  ☆16Updated 4 years ago
• Wardat-ISU / DeepLocalize
  DeepLocalize: Fault Localization for Deep NeuralNetworks
  ☆25Updated 3 years ago
• eth-sri / learning-real-bug-detector
  ☆16Updated last month
• tcwangshiqi-columbia / symbolic_interval
  The library for symbolic interval
  ☆20Updated 4 years ago
• graphcode2vec / graphcode2vec
  ☆28Updated 2 years ago
• safednn-nasa / Prophecy
  Property Inference from Deep Neural Networks
  ☆20Updated last year
• tech-srl / lstar_extraction
  implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
  ☆75Updated 4 years ago
• UCLA-SEAL / DeepLearningTest
  Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks? (FSE 2020)
  ☆10Updated 3 years ago
• tech-srl / adversarial-examples
  Code for the paper: "Adversarial Examples for Models of Code"
  ☆17Updated 3 years ago
• sokcertifiedrobustness / VeriGauge-deprecated
  ☆11Updated 2 years ago
• xiaoningdu / deepstellar
  ☆15Updated 4 years ago
• TruX-DTF / iFixR
  Bug Report driven Program Repair
  ☆17Updated 4 years ago
• tcwangshiqi-columbia / Neurify
  The released code of Neurify in NIPS 2018
  ☆46Updated last year
• google-research-datasets / great
  The dataset for the variable-misuse task, used in the ICLR 2020 paper 'Global Relational Models of Source Code' [https://openreview.net/f…
  ☆22Updated 4 years ago
• RobustNLP / TestTranslation
  A toolkit for testing machine translation [ICSE'20, '21, ESEC/FSE'20]
  ☆33Updated 2 years ago
• yangzhou6666 / Beyond-Accurate-Code-Models
  A collection of publications that works on code models but beyond focusing on the accuracies.
  ☆12Updated last year