Alternatives and similar repositories for Extracting-FSM-From-RNNs:

Users that are interested in Extracting-FSM-From-RNNs are comparing it to the libraries listed below

• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆172Updated this week
• mtappler / mut-learn
  Mutation-based implementation of a random equivalence testing strategy for active automata learning
  ☆15Updated 6 years ago
• wcventure / Active-Automata-Learning
  A Quick Research of Active Automata Learning
  ☆24Updated 4 years ago
• DES-Lab / Learning-Based-Fuzzing
  Using automata learning to mine models used for fuzzing of statefull systems
  ☆24Updated 3 years ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆13Updated last week
• Qi-Pang / MDPFuzz
  Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.
  ☆23Updated 2 years ago
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆46Updated 3 years ago
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆69Updated 2 months ago
• apferscher / ble-learning
  ☆18Updated 2 years ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆53Updated 10 months ago
• microsoft / loop-invariant-gen-experiments
  Loop invariant generation with LLMs
  ☆18Updated last month
• assist-project / dtls-fuzzer
  Protocol state machine learner and fuzzer for DTLS servers and clients
  ☆38Updated this week
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 4 years ago
• steynvl / inferrer
  An automata learning library written in Python.
  ☆50Updated 4 years ago
• SecurityLab-UCD / LLAMAFUZZ
  Fine-tuning a LLM for generating the structured data
  ☆15Updated 2 months ago
• nus-apr / CrashRepair
  Security Vulnerability Repair via Concolic Execution and Code Mutations
  ☆18Updated 5 months ago
• BanditFuzz / BanditFuzz_Public
  Public BanditFuzz Repo
  ☆12Updated 4 years ago
• wtwofire / A-systematic-review-of-fuzzing-based-on-machine-learning-techniques
  ☆10Updated 4 years ago
• HuantWang / CONCOCTION
  CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…
  ☆23Updated 6 months ago
• nondeterministic / ltl3tools
  Convert LTL formulas into finite-state automata for monitoring
  ☆9Updated 6 years ago
• ASSERT-KTH / VRepair
  open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308
  ☆58Updated 11 months ago
• EdPuth / LLMs-based-Fuzzer-Survey
  This repo list the core literature in the field of fuzzing test, large language model, and LLM-based fuzzer. Most of papers are selected …
  ☆44Updated last year
• stan6 / se-paper
  ☆74Updated 2 years ago
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆55Updated 2 years ago
• sola-st / SemSeed
  ☆25Updated 3 years ago
• eth-sri / sven
  ☆101Updated 7 months ago
• UTD-FAST-Lab / RevBugBench
  ☆28Updated last year
• zmw12306 / ParDiff
  A Static Differential Analysis Tool of Network Protocol Parsers
  ☆22Updated last year
• loonwerks / AGREE
  Assume-Guarantee REasoning Environment
  ☆14Updated 3 weeks ago