Alternatives and similar repositories for SSof:

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

• squaresLab / footpatch
  ☆15Updated 5 years ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• 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…
  ☆30Updated 2 years ago
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆15Updated 2 years ago
• squaresLab / SOAR
  Synthesis API Refactor
  ☆11Updated 2 years ago
• hipsleek / hipsleek
  ☆12Updated 2 months ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆27Updated last month
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆62Updated 4 years ago
• wslee / duet
  ☆20Updated last week
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆57Updated this week
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆41Updated 3 years ago
• mast-group / mineSStuBs
  Hosts our tool for mining simple "stupid'' bugs (SStuBs).
  ☆35Updated 2 years ago
• rindPHI / islearn
  ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.
  ☆16Updated last year
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆17Updated 5 months ago
• eisop / checker-framework
  Pluggable type-checking for Java
  ☆20Updated last week
• microsoft / verus-proof-synthesis
  ☆26Updated last week
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆40Updated last year
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• wslee / euphony
  Euphony: a probabilistic model-guided program synthesizer
  ☆25Updated 2 years ago
• caterinaurban / Libra
  ☆25Updated 3 years ago
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 6 months ago
• program-repair / program-repair.github.io
  Automated program repair bibliography, tools and benchmarks.
  ☆79Updated 2 weeks ago
• wei-le / programanalysiscourse
  COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University
  ☆30Updated last year
• bears-bugs / bears-benchmark
  An Extensible Java Bug Benchmark for Automatic Program Repair Studies
  ☆34Updated last year
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆79Updated 8 months ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆68Updated last year
• 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
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago