bloa / magpieLinks
☆14Updated 2 months ago
Alternatives and similar repositories for magpie
Users that are interested in magpie are comparing it to the libraries listed below
Sorting:
- A Micro-benchmarking Framework for Python Type Inference Tools☆36Updated 5 months ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 9 months ago
- Python General Framework for Genetic Improvement [Version 2]☆31Updated last year
- A stateless model checker powered by maximal causality reduction☆38Updated 5 years ago
- ☆37Updated this week
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆48Updated 4 years ago
- LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs☆21Updated 3 years ago
- A framework for testing compilers' type checkers☆56Updated last year
- ☆12Updated 2 years ago
- Dynamic Analysis for Concurrent Programs☆26Updated last year
- Dynamic analysis framework for Python☆76Updated 3 months ago
- Dynamic detection of likely invariants☆236Updated this week
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆73Updated 10 months ago
- A model-based API Fuzzer for SMT Solvers.☆14Updated last week
- A Modern Probabilistic Model Checker☆152Updated last week
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated last year
- Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.☆42Updated last year
- Code for "Typilus: Neural Type Hints" PLDI 2020☆61Updated 2 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- PyExplainer: A Local Rule-Based Model-Agnostic Technique (Explainable AI)☆30Updated last year
- 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
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 9 months ago
- 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
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆33Updated 2 years ago
- Mutation analysis tool for Coq verification projects☆29Updated 5 years ago
- A framework for testing compilers' type checkers☆18Updated 10 months ago
- Java Ranger is a path-merging extension of Symbolic PathFinder☆14Updated 10 months ago
- Inferring models of systems from observations of their behavior☆85Updated 3 years ago
- Static Analyzer and Verifier☆48Updated last year