DES-Lab / Extracting-FSM-From-RNNs
Black-box extraction of Finite-State Machines from RNNs.
☆18Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Extracting-FSM-From-RNNs
- An Automata Learning Library Written in Python☆167Updated last month
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆14Updated 5 years ago
- Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.☆23Updated last year
- A free, open-source Java library for automata learning algorithms☆208Updated last month
- A Quick Research of Active Automata Learning☆22Updated 4 years ago
- A model-based API Fuzzer for SMT Solvers.☆11Updated last week
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆52Updated 7 months ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆45Updated 3 years ago
- CAV'22 paper to speed up Neural Network Verification.☆14Updated last year
- ☆17Updated 2 years ago
- Protocol state machine learner and fuzzer for DTLS servers and clients☆36Updated this week
- Open-source code for RFCNLP paper.☆52Updated 2 years ago
- Using automata learning to mine models used for fuzzing of statefull systems☆24Updated 3 years ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆19Updated 9 months ago
- Mutation-guided mutation-based fuzz testing☆41Updated 4 months ago
- Search, check, and autofix your BibTex files!☆25Updated 7 months ago
- ☆39Updated last year
- Program Vulnerability Repair via Inductive Inference☆18Updated 11 months ago
- SAGE disambiguates protocol description in an IETF RFC document, then converts the disambiguated protocol description into executable pro…☆14Updated 3 years ago
- Policy-Guided Fuzzing for Robotic Vehicles☆33Updated last year
- Public BanditFuzz Repo☆12Updated 3 years ago
- A fuzzing environment for RL, based on Gym and AFL.☆11Updated 3 years ago
- An automata learning library written in Python.☆49Updated 4 years ago
- ☆25Updated 3 years ago
- ☆44Updated 2 years ago
- Loop invariant generation with LLMs☆14Updated 5 months ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆66Updated this week
- Research Artifact of USENIX Security 2023 Paper: Precise and Generalized Robustness Certification for Neural Networks☆12Updated last year
- A browser extension that enhance your paper writting with ChatGPT☆27Updated 6 months ago
- ☆91Updated last year