Alternatives and similar repositories for DoR

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

• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆63Updated 3 years ago
• BugSwarm / bugswarm
  ☆34Updated 3 months ago
• electricalwind / data7
  A vulnerability patch gathering tool
  ☆43Updated 6 years ago
• ASSERT-KTH / flacoco
  FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
  ☆32Updated last week
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• diverse-project / maven-miner
  This projects mines maven central and creates a global dependency graph
  ☆32Updated 3 years ago
• sola-st / SemSeed
  ☆24Updated 4 years ago
• SpoonLabs / coming
  A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…
  ☆99Updated 10 months ago
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆80Updated 5 months ago
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆312Updated last week
• ASSERT-KTH / assert-gold-mine
  This is an informal repo for ASSERT teammates to share awesome stuff.
  ☆21Updated this week
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆71Updated 2 years ago
• SpoonLabs / gumtree-spoon-ast-diff
  Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees
  ☆169Updated last week
• ASSERT-KTH / yajta
  Yajta is a extensible library for bytecode probe insertion, built on top of javassist. Its transformations may be applied at load time wi…
  ☆15Updated 2 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆235Updated this week
• PPPI / Flexeme
  This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the pa…
  ☆11Updated last month
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆71Updated last year
• resess / Slicer4J
  Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.
  ☆47Updated last year
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆83Updated last year
• srcML / srcSlice
  Lightweight tool for slicing
  ☆35Updated 2 weeks ago
• SAP / project-kb
  Home page of project "KB"
  ☆130Updated 5 months ago
• JUnitContest / JUGE
  junit tools contest infrastructure
  ☆13Updated last year
• psycopaths / jconstraints
  A constraint solver abstraction layer for Java
  ☆21Updated 2 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…
  ☆72Updated 9 months ago
• jodavimehran / code-tracker
  ☆21Updated last month
• baolingfeng / V-SZZ
  This is the replication package of V-SZZ, which has been accepted by ICSE2022
  ☆15Updated last month
• gitbugactions / gitbug-java
  A Reproducible Benchmark of Recent Java Bugs
  ☆42Updated last month
• ASSERT-KTH / deptrim
  DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370
  ☆15Updated this week
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆101Updated 11 months ago
• TruX-DTF / findbugs-violations
  ☆14Updated 3 years ago