mtappler / mut-learn
Mutation-based implementation of a random equivalence testing strategy for active automata learning
☆15Updated 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
- Program Vulnerability Repair via Inductive Inference☆18Updated last year
- A Quick Research of Active Automata Learning☆27Updated 5 years ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Updated 6 years ago
- Mutation-guided mutation-based fuzz testing☆44Updated 8 months ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆46Updated 3 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- ☆20Updated 6 years ago
- Protocol state machine learner and fuzzer for DTLS servers and clients☆37Updated this week
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated last month
- KLEE with floating point support (unmaintained)☆18Updated 3 years ago
- Dynamic Analysis for Concurrent Programs☆22Updated 5 months ago
- ☆18Updated 2 years ago
- ☆28Updated this week
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- Fuzzing framework for Robot Operating System (ROS) and ROS-based robotic systems☆19Updated 2 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆54Updated last year
- A framework for testing compilers' type checkers☆17Updated 4 months ago
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆16Updated 3 years ago
- ☆23Updated 4 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated 2 months ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 5 months ago
- The ISLa (Input Specification Language) language & solver.☆63Updated 9 months ago
- A free, open-source Java library for automata learning algorithms☆214Updated 2 weeks ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 3 years ago
- ☆39Updated last year
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆30Updated 2 years ago
- Policy-Guided Fuzzing for Robotic Vehicles☆32Updated last year
- Generates loop invariants for program verification☆62Updated 4 years ago
- Program dependence graph in LLVM☆34Updated 9 months ago
- Java Ranger is a path-merging extension of Symbolic PathFinder☆13Updated 3 months ago