Alternatives and similar repositories for DEBAR

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

• ForeverZyh / TensorFlow-Program-Bugs
  This repository contains the dataset of our ISSTA 2018 paper: An Empirical Study on TensorFlow Program Bugs.
  ☆30Updated 5 years ago
• Jacob-yen / LEMON
  This is the implement repository of our upcoming ESEC/FSE 2020 paper: Deep Learning Library Testing via Effective Model Generation.
  ☆55Updated last year
• ise-uiuc / FreeFuzz
  Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)
  ☆79Updated 2 years ago
• ZhenlanJi / DL_CC
  CC: Causality-Aware Coverage Criterion for Deep Neural Networks
  ☆12Updated 2 years ago
• ise-uiuc / DeepREL
  Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)
  ☆38Updated 2 years ago
• wala / ML
  ☆26Updated this week
• stan6 / se-paper
  ☆74Updated 2 years ago
• turned2670 / DLFuzz
  DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems
  ☆51Updated 7 years ago
• lin-tan / DocTer
  For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…
  ☆36Updated 3 years ago
• stg-tud / MUBench
  ☆58Updated last year
• Jacob-yen / GRIST
  This is the implementation repository of our incoming ESEC/FSE 2021 paper: Exposing Numerical Bugs in Deep Learning via GradientBack-prop…
  ☆14Updated 2 years ago
• hfeniser / DeepSmartFuzzer
  Reward Guided Test Generation for Deep Learning
  ☆20Updated last year
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆63Updated 3 weeks ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated last month
• eth-sri / learch
  ☆40Updated 2 years ago
• yanzuochen / obsan
  OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables
  ☆17Updated 2 years ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆20Updated last year
• CGCL-codes / HistFuzz
  A practical fuzzing tool for SMT solvers
  ☆10Updated 11 months ago
• library-testing / Muffin
  This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.
  ☆32Updated 3 years ago
• chengpeng-wang / LLMDFA
  LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)
  ☆138Updated last month
• zmw12306 / ParDiff
  A Static Differential Analysis Tool of Network Protocol Parsers
  ☆25Updated last year
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆79Updated 3 months ago
• llylly / RANUM
  [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.
  ☆13Updated last year
• sola-st / SemSeed
  ☆25Updated 4 years ago
• ASSERT-KTH / VRepair
  open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308
  ☆63Updated last year
• codeflaws / codeflaws
  This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)
  ☆43Updated 4 years ago
• zhiyufan / apr4codex
  ☆14Updated 2 years ago
• parasol-aser / deepsim
  Deep learning code semantic similarity
  ☆65Updated 6 years ago
• OOPSLA-2019-BugDetection / OOPSLA-2019-BugDetection
  ☆45Updated 3 years ago
• kupl / adapt
  ADAPT is the open source white-box testing framework for deep neural networks
  ☆22Updated 2 years ago