tudelft-cda-lab / FlexFringeLinks
The FlexFringe tool for flexible learning of state machines (deterministic automata) from traces. See the paper at https://arxiv.org/abs/2203.16331
☆22Updated 3 weeks ago
Alternatives and similar repositories for FlexFringe
Users that are interested in FlexFringe are comparing it to the libraries listed below
Sorting:
- Program Vulnerability Repair via Inductive Inference☆20Updated last year
- Mining tool and large-scale datasets of single statement bug fixes in Python☆18Updated last year
- A Quick Research of Active Automata Learning☆32Updated 5 years ago
- ☆18Updated last year
- ☆41Updated 2 years ago
- Modelling Capture-the-Flag Challenges Using Reinforcement Learning☆15Updated 3 years ago
- Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…☆38Updated last year
- code and data for paper "Automatic Generation and Summarization of Shellcode via Transformer and Dual Learning", which accepted in SANER …☆13Updated 3 years ago
- A free, open-source Java library for automata learning algorithms☆218Updated 2 months ago
- Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.☆24Updated 2 years ago
- OpenAI Gym environment for binary fuzzing based on afl☆23Updated 6 years ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆51Updated 4 months ago
- A framework for testing compilers' type checkers☆18Updated 10 months ago
- Human-In-The-Loop Automatic Program Repair☆19Updated 5 years ago
- Mutation-guided mutation-based fuzz testing☆47Updated last year
- Code2Inv: Learning Loop Invariants for Program Verification☆97Updated 4 years ago
- An Automata Learning Library Written in Python☆196Updated this week
- Open-source code for RFCNLP paper.☆58Updated 2 years ago
- AIxCC: automated vulnerability repair via LLMs, search, and static analysis☆12Updated last year
- Protocol state machine learner and fuzzer for DTLS servers and clients☆39Updated last week
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆16Updated 6 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆48Updated 4 years ago
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆48Updated last year
- An automata learning library written in Python.☆48Updated 5 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆44Updated 2 years ago
- Grammar synthesis algorithm using a black box oracle☆37Updated last year
- An SMT Solver for string constraints☆39Updated last week
- AutoVAS is an automated vulnerability analysis system with a deep learning approach.☆35Updated 4 years ago
- Learning to Solve SMT Formulas Fast☆88Updated last year