Alternatives and similar repositories for CodeDefenders

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

• SpoonLabs / coming
  A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…
  ☆97Updated last year
• mauricioaniche / repodriller
  a tool to support researchers on mining software repositories studies
  ☆174Updated 2 years ago
• ASSERT-KTH / sorald
  Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
  ☆97Updated this week
• SpoonLabs / astor
  Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…
  ☆213Updated this week
• STAMP-project / dspot
  Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)
  ☆118Updated last year
• STAMP-project / botsing
  Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.
  ☆33Updated 3 years ago
• tsantalis / JDeodorant
  JDeodorant
  ☆147Updated last year
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆168Updated 2 weeks ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• ASSERT-KTH / pankti
  Generating tests from production workloads http://arxiv.org/pdf/2012.01198
  ☆18Updated last year
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆321Updated last week
• fasten-project / fasten
  Analyse package dependency networks at the call graph level
  ☆96Updated 2 years ago
• aserg-ufmg / RefDiff
  A tool to mine refactorings in the commit history of git repositories.
  ☆156Updated 4 years ago
• emsejournal / openscience
  Empirical Software Engineering journal (EMSE) open science and reproducible research initiative
  ☆34Updated last year
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆98Updated 2 weeks ago
• gmu-swe / deflaker
  ☆36Updated 4 years ago
• saeg / ba-dua
  Data-flow testing coverage for Java
  ☆18Updated last year
• WebFuzzing / Dataset
  Web Fuzzing Dataset (WFD): a set of web/enterprise applications for experimentation in automated system testing
  ☆42Updated this week
• boalang / compiler
  The Boa language reference compiler.
  ☆32Updated last year
• ASSERT-KTH / deptrim
  DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370
  ☆15Updated last week
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆100Updated 4 years ago
• dspinellis / ckjm
  Chidamber and Kemerer Java Metrics
  ☆101Updated last year
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆119Updated 3 months ago
• 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 3 years ago
• ksen007 / janala2
  a concolic testing engine for Java
  ☆105Updated 7 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆244Updated this week
• jayhorn / jayhorn
  Static checker for Java
  ☆87Updated last year
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆237Updated last week
• STAMP-project / test-runner
  test driver to run JUnit tests isolated in a new JVM
  ☆16Updated last year
• FeatureIDE / FeatureIDE
  An extensible framework for feature-oriented software development
  ☆139Updated 3 months ago