bloa / magpieLinks
☆13Updated last week
Alternatives and similar repositories for magpie
Users that are interested in magpie are comparing it to the libraries listed below
Sorting:
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆72Updated 7 months ago
- Python General Framework for Genetic Improvement [Version 2]☆30Updated last year
- GI in No Time - a Simple Microframework for Genetic Improvement☆45Updated 7 months ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆43Updated last year
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 2 weeks ago
- Dynamic detection of likely invariants☆228Updated 3 weeks ago
- Debugging Prototype Avicenna☆10Updated 5 months ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 6 months ago
- Efficient techniques for mining LTL formulae over linear input traces☆20Updated 2 years ago
- Inferring models of systems from observations of their behavior☆84Updated 2 years ago
- A powerful relational representation of source code☆32Updated last year
- Dynamic analysis framework for Python☆75Updated last week
- A Modern Probabilistic Model Checker☆149Updated 2 weeks ago
- An Automata Learning Library Written in Python☆186Updated last week
- Runtime verification system for Java, using AspectJ for instrumentation.☆48Updated 2 years ago
- A Tool for Multi-Paradigm Modeling☆24Updated 10 months ago
- A System for Debloating C/C++ Programs☆31Updated 4 years ago
- A framework for testing compilers' type checkers☆17Updated 8 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
- A tool for testing SMT solvers for incompleteness bugs☆16Updated 2 years ago
- ☆12Updated 2 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated last year
- A Micro-benchmarking Framework for Python Type Inference Tools☆34Updated 2 months ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- A mutation tool for source and IR☆13Updated 6 years ago
- Test-Case Prioritization for Configuration Testing☆16Updated 4 years ago
- Search, check, and autofix your BibTex files!☆25Updated last year
- Neural Code Comprehension: A Learnable Representation of Code Semantics☆213Updated 7 months ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆47Updated 3 years ago
- Dynamic Analysis for Concurrent Programs☆26Updated 9 months ago