mtappler / mut-learnLinks
Mutation-based implementation of a random equivalence testing strategy for active automata learning
☆16Updated 6 years ago
Alternatives and similar repositories for mut-learn
Users that are interested in mut-learn are comparing it to the libraries listed below
Sorting:
- Dynamic detection of likely invariants☆236Updated last week
- A free, open-source Java library for automata learning algorithms☆218Updated 2 months ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆48Updated 4 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
- Program Vulnerability Repair via Inductive Inference☆20Updated last year
- Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.☆24Updated 2 years ago
- Java Ranger is a path-merging extension of Symbolic PathFinder☆14Updated 10 months ago
- Symbolic PathFinder☆157Updated 3 weeks ago
- Interprocedural Distributive Environment algorithm implementation☆16Updated 10 years ago
- An Automata Learning Library Written in Python☆196Updated this week
- A framework for testing compilers' type checkers☆18Updated 10 months ago
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated 9 months ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆97Updated last month
- A Quick Research of Active Automata Learning☆32Updated 5 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆28Updated 6 months ago
- ☆20Updated 6 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Updated 5 years ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆17Updated 7 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆101Updated 11 months ago
- KLEE with floating point support (unmaintained)☆20Updated 3 years ago
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- Mutation-guided mutation-based fuzz testing☆47Updated last year
- Dynamic Analysis for Concurrent Programs☆26Updated last year
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated 3 months ago
- ☆41Updated 2 years ago
- Static Analyzer and Verifier☆48Updated 11 months ago
- DSVerifier - Digital Systems Verifier☆11Updated 6 years ago
- A Fast Floating-Point Satisfiability Solver☆29Updated 2 months ago
- CREST is a concolic test generation tool for C.☆162Updated 5 years ago