Alternatives and similar repositories for magpie

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

• coinse / pyggi
  Python General Framework for Genetic Improvement [Version 2]
  ☆30Updated last year
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated 7 months ago
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆188Updated 2 weeks ago
• micheletufano / DeepMutation
  ☆12Updated 2 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated last year
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆47Updated 3 years ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆17Updated 8 months 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…
  ☆73Updated 8 months ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆229Updated 2 weeks ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆43Updated last year
• ASSERT-KTH / software-engineering-research
  Research material about software engineering at KTH
  ☆18Updated last year
• ModelInference / synoptic
  Inferring models of systems from observations of their behavior
  ☆85Updated 2 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…
  ☆22Updated 4 years ago
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 4 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆52Updated last week
• TestingResearchIllinois / srciror
  A mutation tool for source and IR
  ☆13Updated 6 years ago
• grosa1 / icse2021-szz-replication-package
  Evaluating SZZ Implementations Through a Developer-informed Oracle (https://arxiv.org/abs/2102.03300)
  ☆17Updated last year
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆26Updated 10 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…
  ☆31Updated 2 years 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
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆66Updated 11 months ago
• SpoonLabs / coming
  A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…
  ☆98Updated 9 months ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated last month
• swtv-kaist / MUSIC
  MUSIC: MUtation analySIs tool with High Configurability and Extensibility
  ☆17Updated 2 years ago
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆59Updated 2 years ago
• microsoft / codamosa
  ☆142Updated 2 months ago
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆34Updated 3 months ago
• SMAT-Lab / Scalpel
  Scalpel: The Python Static Analysis Framework
  ☆313Updated last year
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆48Updated 10 months ago
• impedimentToProgress / MiBench2
  MiBench ported for IoT devices
  ☆18Updated 2 months ago