mtappler / mut-learnLinks
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
Sorting:
- ☆19Updated 2 months ago
- A Quick Research of Active Automata Learning☆30Updated 5 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Updated 5 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆54Updated 3 weeks ago
- Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program☆27Updated 7 years ago
- ☆40Updated last year
- ☆25Updated 3 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆47Updated 3 years ago
- Program Vulnerability Repair via Inductive Inference☆20Updated last year
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆54Updated last year
- Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.☆24Updated 2 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆21Updated 3 years ago
- ☆20Updated 6 years ago
- Mutation-guided mutation-based fuzz testing☆46Updated 11 months ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆31Updated 2 years ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆16Updated last year
- ☆26Updated last week
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆12Updated 7 years ago
- Using automata learning to mine models used for fuzzing of statefull systems☆24Updated 4 years ago
- DBGBench Website:☆19Updated 4 years ago
- A Fast Floating-Point Satisfiability Solver☆28Updated 6 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- Lifting network implementation to precise format specification☆24Updated 2 months ago
- Interprocedural Distributive Environment algorithm implementation☆16Updated 9 years ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Updated 7 years ago
- A model-based API Fuzzer for SMT Solvers.☆14Updated 2 months ago
- ☆20Updated 4 years ago
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆26Updated 4 years ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year
- A constraint solver abstraction layer for Java☆21Updated 2 years ago