Alternatives and similar repositories for ddmin:

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

• resess / Slicer4J
  Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.
  ☆44Updated last year
• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 3 years ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆31Updated 5 months ago
• TruX-DTF / PatchParser
  A tool of collecting patch-related commits and parsing patches.
  ☆13Updated 6 years ago
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 4 years ago
• mistupv / JavaSlicer
  A program slicer for Java, based on the system dependence graph (SDG).
  ☆65Updated last year
• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated 2 years ago
• MingWEN-CS / CapGen
  ☆14Updated 4 years ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 7 months ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆44Updated 8 months ago
• qixin5 / DiffTGen
  ☆9Updated 5 years ago
• vorpal-research / kex
  A platform for analysis of Java bytecode
  ☆30Updated 5 months ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated last month
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆78Updated 7 months ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆18Updated last year
• opalj / opal
  ☆58Updated 3 weeks ago
• petablox / petablox
  Main distribution of Petablox
  ☆35Updated 7 years ago
• wala / ML
  ☆26Updated last month
• squaresLab / footpatch
  ☆15Updated 5 years ago
• coinse / libro
  Replication package of a paper "Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction"
  ☆22Updated last year
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆222Updated this week
• cs-au-dk / TIP
  Static program analysis for TIP
  ☆286Updated 2 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆93Updated 3 years ago
• nguyenhoan / CPatMiner
  ☆22Updated last year
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆40Updated 3 months ago
• Spirals-Team / defects4j-repair
  Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs
  ☆35Updated 3 years ago
• ASSERT-KTH / flacoco
  FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
  ☆29Updated 2 weeks ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆90Updated 10 months ago
• qixin5 / ssFix
  Code Search Based Automated Repair Technique
  ☆9Updated 4 years ago
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆69Updated 4 months ago