Alternatives and similar repositories for koala

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

• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆276Updated 3 weeks ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆200Updated last month
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆319Updated 4 months ago
• andromeda / mir
  Module-level RWX permissions for Node.js
  ☆37Updated last year
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆64Updated 4 years ago
• andromeda / lya
  A Coarse-grained Dynamic Analysis Framework
  ☆23Updated last month
• xlab-uiuc / openctest
  Testing Configuration Changes in Context to Prevent Production Failures
  ☆31Updated 2 years ago
• atom-sw / fauxpy
  An automated fault localization tool for Python programs.
  ☆31Updated 7 months ago
• dspinellis / ai-cli-lib
  Add AI capabilities to any readline-enabled command-line program
  ☆201Updated last year
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆25Updated 4 years ago
• squaresLab / genprog4java
  ☆18Updated last year
• EngineeringSoftware / gobash
  Bash function library
  ☆22Updated last year
• michaelpradel / LExecutor
  A learning-guided approach for executing arbitrary Python code snippets
  ☆17Updated last year
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• cuhk-s3 / Creal
  ☆36Updated 4 months ago
• JZuming / EET
  Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
  ☆45Updated 5 months ago
• esbmc / esbmc
  The efficient SMT-based context-bounded model checker (ESBMC)
  ☆421Updated this week
• binpash / dish
  DiSh: Dynamic Shell-Script Distribution
  ☆29Updated 5 months ago
• Lingzhi-Ouyang / Remix
  ☆13Updated 9 months ago
• rshariffdeen / CPR
  CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…
  ☆33Updated 3 years ago
• hipsleek / hipsleek
  ☆12Updated 10 months ago
• ise-uiuc / uniapr
  Fast and Precise On-the-fly Patch Validation for All
  ☆10Updated 2 years ago
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆86Updated last year
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆80Updated 6 months ago
• rjust / defects4j
  A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
  ☆920Updated 3 months ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆187Updated 4 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆243Updated this week
• se-deadlines / se-deadlines.github.io
  Deadline countdowns for academic conferences in Software Engineering
  ☆67Updated this week
• kupl / npex
  ☆15Updated 2 years ago
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆54Updated last year