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
  ☆205Updated last week
• 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
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated 3 months ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated last year
• USC-NSL / sage
  SAGE disambiguates protocol description in an IETF RFC document, then converts the disambiguated protocol description into executable pro…
  ☆18Updated 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
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆244Updated last week
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆38Updated 2 months ago
• ModelInference / synoptic
  Inferring models of systems from observations of their behavior
  ☆85Updated 3 years 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 4 years ago
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆17Updated 3 years ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆61Updated 2 months ago
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆48Updated 4 years ago
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 5 years ago
• TestingResearchIllinois / srciror
  A mutation tool for source and IR
  ☆13Updated 7 years ago
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆22Updated 2 years ago
• SMT-COMP / smt-comp
  Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.
  ☆32Updated 11 months ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆55Updated 6 months ago
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆81Updated this week
• bannsec / pySym
  Python Symbolic Execution
  ☆72Updated 6 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
• AToMPM / atompm
  A Tool for Multi-Paradigm Modeling
  ☆25Updated last year
• ModelInference / texada
  Efficient techniques for mining LTL formulae over linear input traces
  ☆18Updated 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…
  ☆21Updated 4 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆158Updated 3 weeks ago
• microsoft / codamosa
  ☆154Updated 8 months ago
• jyao15 / G-CLN
  ☆12Updated 3 years ago
• SYNTCOMP / benchmarks
  Repository of benchmarks for SYNTCOMP
  ☆14Updated 4 months ago