LearnLib / learnlib
A free, open-source Java library for automata learning algorithms
☆208Updated last month
Related projects ⓘ
Alternatives and complementary repositories for learnlib
- A free, open-source Java library for modeling automata, graphs, and transition systems☆93Updated 2 months ago
- An Automata Learning Library Written in Python☆167Updated last month
- Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…☆36Updated 3 months ago
- A tool that can be used to learn state machines from implementations.☆63Updated 3 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆45Updated 3 years ago
- ☆15Updated 5 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- JavaSMT - Unified Java API for SMT solvers.☆186Updated this week
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆88Updated 5 months ago
- Symbolic PathFinder☆130Updated last month
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆14Updated 5 years ago
- Inferring models of systems from observations of their behavior☆83Updated 2 years ago
- A Quick Research of Active Automata Learning☆22Updated 4 years ago
- ☆25Updated 3 years ago
- A dynamic symbolic analysis tool for Java☆114Updated 5 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- The ISLa (Input Specification Language) language & solver.☆62Updated 4 months ago
- Joana - Information Flow Control for Java☆91Updated 2 years ago
- A Z3-Based String Constraint Solver☆87Updated 4 years ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆19Updated 9 months ago
- Search, check, and autofix your BibTex files!☆25Updated 7 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…☆30Updated 2 years ago
- Protocol state machine learner and fuzzer for DTLS servers and clients☆36Updated this week
- Keep your bugs contained. A platform for studying historical software bugs.☆67Updated 3 weeks ago
- Dynamic analysis framework for Python☆58Updated last week
- CREST is a concolic test generation tool for C.☆159Updated 4 years ago
- ☆26Updated 2 months ago
- Efficient techniques for mining LTL formulae over linear input traces☆19Updated last year
- A tool for analyzing LLVM bitcode using Datalog.☆98Updated 4 years ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆29Updated last year