Alternatives and similar repositories for FlexFringe

Users that are interested in FlexFringe are comparing it to the libraries listed below

• wcventure / Active-Automata-Learning
  A Quick Research of Active Automata Learning
  ☆32Updated 5 years ago
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆58Updated 3 years ago
• FMZennaro / CTF-RL
  Modelling Capture-the-Flag Challenges Using Reinforcement Learning
  ☆15Updated 3 years ago
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆48Updated 4 years ago
• spolu / gym_fuzz1ng
  OpenAI Gym environment for binary fuzzing based on afl
  ☆23Updated 7 years ago
• sefcom / TYGR
  ☆22Updated last year
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated last year
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆221Updated 2 weeks ago
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆56Updated 7 months ago
• LearnLib / alex
  Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…
  ☆38Updated last year
• kppw99 / AutoVAS
  AutoVAS is an automated vulnerability analysis system with a deep learning approach.
  ☆35Updated 4 years ago
• mboehme / learn2fix
  Human-In-The-Loop Automatic Program Repair
  ☆19Updated 6 years ago
• batchenRothenberg / AllRepair
  ☆11Updated 4 years ago
• petablox / arbitrar
  User Guided API Misuse Detection
  ☆30Updated 3 years ago
• Viewer-HX / BinProv
  ☆10Updated 3 years ago
• TruX-DTF / fixminer_source
  Mining Relevant Fix Patterns for Automated Program Repair
  ☆31Updated 3 years ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆20Updated 2 years ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆50Updated last year
• Qi-Pang / MDPFuzz
  Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.
  ☆24Updated 3 years ago
• eth-sri / learch
  ☆43Updated 2 years ago
• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 6 years ago
• NTDXYG / DualSC
  code and data for paper "Automatic Generation and Summarization of Shellcode via Transformer and Dual Learning", which accepted in SANER …
  ☆13Updated 3 years ago
• SunLab-GMU / PatchDB
  The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…
  ☆48Updated 2 years ago
• sola-st / SemSeed
  ☆24Updated 4 years ago
• rshariffdeen / CPR
  CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…
  ☆33Updated 3 years ago
• aixcc-public / challenge-001-exemplar
  Challenge Problem #1 - Linux Kernel (NOTE: This code does not reflect the active state of what will be used at competition time, please r…
  ☆59Updated last year
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆69Updated last year
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆205Updated this week
• fkie-cad / epf
  An evolutionary, coverage-guided greybox network protocol fuzzer
  ☆21Updated 4 years ago
• cybercodeintelligence / CyberCI
  Cyber Code Intelligence (CyberCI)
  ☆14Updated 5 years ago