Alternatives and similar repositories for SearchRepair:

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

• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 3 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆99Updated 4 years ago
• gaoxiang9430 / Fix2Fit
  ☆19Updated 3 years ago
• wala / ML
  ☆26Updated last week
• dblotsky / stringfuzz
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
  ☆20Updated 3 years ago
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 9 years ago
• isstac / badger
  ☆20Updated 6 years ago
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• codeflaws / codeflaws
  This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)
  ☆39Updated 4 years ago
• jjhenkel / code-vectors-artifact
  Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
  ☆22Updated 4 years ago
• hvdthong / PatchNetTool
  ☆25Updated 4 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆14Updated 9 years ago
• matt-noonan / retypd-data
  Data and scripts for the paper "Polymorphic Type Inference for Machine Code"
  ☆13Updated 8 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆11Updated 7 years ago
• tianyi-zhang / ExampleStack-ICSE-Artifact
  ☆16Updated 6 months ago
• squaresLab / footpatch
  ☆15Updated 5 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆58Updated last month
• BugSwarm / bugswarm
  ☆31Updated last month
• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated 2 years ago
• PRL-PRG / dejavu-artifact
  Artifact for the OOPSLA 17 DejaVu Paper
  ☆10Updated 7 years ago
• program-repair / RepairThemAll_experiment
  ☆14Updated last year
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆97Updated 2 years ago
• hub-se / BeDivFuzz
  ☆13Updated this week
• victorjmarin / sourcedg
  System Dependence Graph generation from Java source code
  ☆18Updated 5 years ago
• binsec / icse2021-artifact992
  ☆10Updated 3 years ago
• hbgit / Map2Check
  Map2Check: Finding Software Vulnerabilities
  ☆27Updated 4 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆38Updated last month
• columbia / woodpecker
  Woodpecker: Verifying systems rules using rule-directed symbolic execution
  ☆12Updated 8 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆43Updated 4 years ago