LearnLib / learnlib
A free, open-source Java library for automata learning algorithms
☆214Updated last week
Alternatives and similar repositories for learnlib:
Users that are interested in learnlib are comparing it to the libraries listed below
- A free, open-source Java library for modeling automata, graphs, and transition systems☆95Updated 2 weeks ago
- An Automata Learning Library Written in Python☆176Updated last week
- A Quick Research of Active Automata Learning☆27Updated 5 years ago
- Inferring models of systems from observations of their behavior☆83Updated 2 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆46Updated 3 years ago
- A dynamic symbolic analysis tool for Java☆116Updated 5 years ago
- A tool that can be used to learn state machines from implementations.☆64Updated 3 years ago
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆15Updated 6 years ago
- Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…☆36Updated 7 months ago
- JavaSMT - Unified Java API for SMT solvers.☆217Updated this week
- Python Exploration with Z3☆327Updated 6 years ago
- A fuzzing framework for SMT solvers☆187Updated last year
- ☆27Updated last month
- A Z3-Based String Constraint Solver☆87Updated 5 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆68Updated 2 months ago
- CREST is a concolic test generation tool for C.☆160Updated 4 years ago
- Protocol state machine learner and fuzzer for DTLS servers and clients☆37Updated this week
- 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
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆30Updated last year
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆67Updated last month
- GenProg: heuristic, GP-based automatic program repair for C.☆93Updated 3 years ago
- Static checker for Java☆86Updated 2 months ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆90Updated 10 months ago
- An automata learning library written in Python.☆49Updated 5 years ago
- Symbolic PathFinder☆140Updated 5 months ago
- FairFuzz: AFL extension targeting rare branches☆241Updated 6 years ago
- Joana - Information Flow Control for Java☆92Updated 3 years ago
- Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program☆27Updated 6 years ago