Alternatives and similar repositories for magpie

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

• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated 11 months ago
• assuremoss / lastpymile
  A reimplementation of LastPyMile: A Python-based library to Identify the differences between build artifacts of PyPI packages and the res…
  ☆15Updated 3 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆30Updated last year
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆205Updated 3 weeks ago
• sola-st / DiffSearch
  DiffSearch is a search engine for code changes. The input is a query that describes a code change and the output is a list of matching co…
  ☆19Updated last year
• coinse / pyggi
  Python General Framework for Genetic Improvement [Version 2]
  ☆31Updated 2 years ago
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆22Updated 2 years ago
• xgdsmileboy / GenPat
  This is an automated transformation inference tool that leverages a big code corpus to guide the abstraction of transformation patterns.
  ☆29Updated 3 years ago
• SYNTCOMP / benchmarks
  Repository of benchmarks for SYNTCOMP
  ☆14Updated 3 months ago
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 5 years ago
• micheletufano / DeepMutation
  ☆12Updated 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…
  ☆75Updated last year
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆19Updated last year
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆81Updated 5 months ago
• xlab-uiuc / ctest-prio-ae
  Test-Case Prioritization for Configuration Testing
  ☆16Updated 4 years ago
• ModelInference / synoptic
  Inferring models of systems from observations of their behavior
  ☆85Updated 3 years ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆59Updated last month
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆16Updated 3 years ago
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆322Updated last year
• typilus / typilus
  Code for "Typilus: Neural Type Hints" PLDI 2020
  ☆62Updated 2 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆60Updated last week
• batchenRothenberg / AllRepair
  ☆11Updated 4 years ago
• paradise-fi / divine
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆21Updated 4 years ago
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆55Updated 7 months ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated 5 months ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆240Updated this week
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated 2 months ago
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆27Updated last year
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆38Updated last month
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆61Updated last year