Alternatives and similar repositories for magpie

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

• micheletufano / DeepMutation
  ☆12Updated 2 years ago
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆206Updated 3 weeks ago
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆38Updated 2 months ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated last year
• coinse / pyggi
  Python General Framework for Genetic Improvement [Version 2]
  ☆30Updated 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
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆72Updated 2 years ago
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆81Updated last week
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆244Updated last week
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆29Updated 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…
  ☆33Updated 3 years ago
• ModelInference / synoptic
  Inferring models of systems from observations of their behavior
  ☆85Updated 3 years ago
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆86Updated last year
• xlab-uiuc / ctest-prio-ae
  Test-Case Prioritization for Configuration Testing
  ☆16Updated 4 years ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆19Updated last year
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆61Updated 2 months ago
• ppashakhanloo / CodeTrek
  A powerful relational representation of source code
  ☆33Updated 2 years ago
• sonoisa / code2vec
  an implementation of "code2vec: Learning Distributed Representations of Code"
  ☆30Updated last year
• mast-group / mineSStuBs
  Hosts our tool for mining simple "stupid'' bugs (SStuBs).
  ☆38Updated 3 years ago
• tud-ccc / compy-learn
  ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.
  ☆22Updated 2 years ago
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆17Updated 3 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
• TruX-DTF / fixminer_source
  Mining Relevant Fix Patterns for Automated Program Repair
  ☆31Updated 3 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 2 years ago
• TestingResearchIllinois / srciror
  A mutation tool for source and IR
  ☆13Updated 7 years ago
• utopia-group / TypeT5
  Seq2seq Type Inference using Static Analysis and CodeT5
  ☆32Updated 2 years ago
• typilus / typilus
  Code for "Typilus: Neural Type Hints" PLDI 2020
  ☆62Updated 3 years ago
• UCL-CREST / Siamese
  Siamese: a scalable code clone search engine
  ☆37Updated last year
• 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…
  ☆56Updated 8 months ago