Alternatives and similar repositories for DEBAR

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

• dlfaults / taxonomy

  View on GitHub
  Taxonomy of Real Faults in Deep Learning Systems
  ☆15Jan 27, 2020Updated 6 years ago
• ForeverZyh / TensorFlow-Program-Bugs

  View on GitHub
  This repository contains the dataset of our ISSTA 2018 paper: An Empirical Study on TensorFlow Program Bugs.
  ☆29May 20, 2020Updated 5 years ago
• Jacob-yen / GRIST

  View on GitHub
  This is the implementation repository of our incoming ESEC/FSE 2021 paper: Exposing Numerical Bugs in Deep Learning via GradientBack-prop…
  ☆15Oct 16, 2022Updated 3 years ago
• Wardat-ISU / DeepLocalize

  View on GitHub
  DeepLocalize: Fault Localization for Deep NeuralNetworks
  ☆27Feb 23, 2021Updated 4 years ago
• mlapistudy / ICSE2021_421

  View on GitHub
  This is the artifact for paper “Are Machine Learning Cloud APIs Used Correctly? (#421)” in ICSE2021
  ☆16Feb 27, 2021Updated 4 years ago
• hfeniser / DeepSmartFuzzer

  View on GitHub
  Reward Guided Test Generation for Deep Learning
  ☆21Aug 2, 2024Updated last year
• 95616ARG / PRDNN

  View on GitHub
  Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."
  ☆10Nov 26, 2022Updated 3 years ago
• llylly / RANUM

  View on GitHub
  [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.
  ☆13Jan 5, 2024Updated 2 years ago
• DeepImportance / deepimportance_code_release

  View on GitHub
  ☆25Mar 20, 2021Updated 4 years ago
• wala / ML

  View on GitHub
  ☆28Jan 20, 2026Updated 3 weeks ago
• secure-software-engineering / ideal

  View on GitHub
  IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis
  ☆10Mar 10, 2018Updated 7 years ago
• gavlegoat / charon

  View on GitHub
  The Charon tool for analyzing neural network robustness
  ☆13Mar 19, 2020Updated 5 years ago
• michaelbrownuc / llap

  View on GitHub
  LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…
  ☆16May 17, 2023Updated 2 years ago
• TruX-DTF / DL4PatchCorrectness

  View on GitHub
  An empirical study on patch correctness
  ☆15Nov 5, 2022Updated 3 years ago
• llmhyy / ccdemon

  View on GitHub
  A Clone-Based Approach for Recommending Modification on Pasted Code
  ☆12Jun 10, 2017Updated 8 years ago
• brain-research / tensorfuzz

  View on GitHub
  A library for performing coverage guided fuzzing of neural networks
  ☆214Sep 25, 2018Updated 7 years ago
• lab-design / ICSE2020DNNBugRepair

  View on GitHub
  Dataset for ICSE 2020 paper "Repairing Deep Neural Networks: Fix Patterns and Challenges"
  ☆10Feb 10, 2020Updated 6 years ago
• TruX-DTF / APR-Efficiency

  View on GitHub
  ☆14May 31, 2021Updated 4 years ago
• coco-team / zustre

  View on GitHub
  A model checker and assume/guarantee contract generator for Lustre programs.
  ☆16Jun 5, 2018Updated 7 years ago
• mboehme / learn2fix

  View on GitHub
  Human-In-The-Loop Automatic Program Repair
  ☆19Dec 18, 2019Updated 6 years ago
• SongXueZhi / RegMiner

  View on GitHub
  A Mining Approach towards Automating Regression Dataset Construction from Code Evolution History
  ☆34Dec 29, 2024Updated last year
• Systems-ShiftLab / pmfuzz

  View on GitHub
  A testcase generation tool for Persistent Memory Programs.
  ☆15Jul 19, 2021Updated 4 years ago
• dmc1778 / Orion

  View on GitHub
  Fuzzing Deep Learning Libraries Via Mining Security Knowledge from Open Source
  ☆16May 14, 2024Updated last year
• 95616ARG / pikos_popl2020

  View on GitHub
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Aug 24, 2020Updated 5 years ago
• WaliDev / WALi-OpenNWA

  View on GitHub
  Home for the WALi weighted automaton library and OpenNWA nested-word automaton library
  ☆17Nov 28, 2018Updated 7 years ago
• TrustAI / DeepCover

  View on GitHub
  Testing Deep Neural Networks
  ☆15Jul 4, 2018Updated 7 years ago
• llmhyy / mcidiff

  View on GitHub
  A project for computing differences of multiple clone instances.
  ☆17Nov 4, 2019Updated 6 years ago
• HexHive / fuzzing-seed-selection

  View on GitHub
  "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)
  ☆42Oct 26, 2022Updated 3 years ago
• guolong-zheng / sling

  View on GitHub
  ☆22Apr 17, 2023Updated 2 years ago
• SVF-tools / SVF-example

  View on GitHub
  An external project example using SVF as a library
  ☆24Dec 17, 2025Updated last month
• Lawliar / ConAFL

  View on GitHub
  AFL enhanced for concurrency bug and vulnerabilities
  ☆19Sep 18, 2020Updated 5 years ago
• b17fr13nds / lxfuzz

  View on GitHub
  lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…
  ☆22Jul 21, 2024Updated last year
• llmhyy / evosuite-plus-plus

  View on GitHub
  Evosuite++: an enhancement for Evosuite framework supporting new features like optimal object construction and gradient recovering
  ☆41Dec 11, 2023Updated 2 years ago
• yqtianust / awesome-ml-testing

  View on GitHub
  Awesome material(papers, tools, etc.) about testing machine learning system, including deep learning system.
  ☆47Oct 12, 2021Updated 4 years ago
• ASSERT-KTH / RewardRepair

  View on GitHub
  Neural Program Repair with Execution-based Backpropagation http://arxiv.org/pdf/2105.04123
  ☆25Dec 19, 2022Updated 3 years ago
• mechanicalnull / fuzzwatch

  View on GitHub
  Python GUI for seeing what's happening inside a fuzzer
  ☆26Oct 1, 2021Updated 4 years ago
• sunglinl / ttffuzz

  View on GitHub
  ☆23Nov 2, 2021Updated 4 years ago
• FP-Analysis / atomic-condition

  View on GitHub
  ☆21Nov 10, 2019Updated 6 years ago
• llmhyy / microbat

  View on GitHub
  A feedback-based debugger for interactively recommending suspicious step in buggy program execution.
  ☆56Mar 11, 2024Updated last year