Alternatives and similar repositories for FlexFringe

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

• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 6 years ago
• wcventure / Active-Automata-Learning
  A Quick Research of Active Automata Learning
  ☆32Updated 5 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
• sefcom / TYGR
  ☆18Updated last year
• Qi-Pang / MDPFuzz
  Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.
  ☆24Updated 2 years ago
• cedricrupb / TSSB3M
  Mining tool and large-scale datasets of single statement bug fixes in Python
  ☆18Updated last year
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆20Updated last year
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated 9 months ago
• FMZennaro / CTF-RL
  Modelling Capture-the-Flag Challenges Using Reinforcement Learning
  ☆15Updated 3 years ago
• mboehme / learn2fix
  Human-In-The-Loop Automatic Program Repair
  ☆19Updated 5 years ago
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆58Updated 2 years ago
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆48Updated 4 years ago
• eth-sri / learch
  ☆42Updated 2 years 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
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆52Updated 5 months 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
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆18Updated 11 months ago
• mtappler / mut-learn
  Mutation-based implementation of a random equivalence testing strategy for active automata learning
  ☆16Updated 6 years ago
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆198Updated this week
• steynvl / inferrer
  An automata learning library written in Python.
  ☆48Updated 5 years ago
• PL-ML / code2inv
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆97Updated 4 years ago
• batchenRothenberg / AllRepair
  ☆11Updated 4 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…
  ☆46Updated 2 years ago
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆218Updated last week
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆65Updated last year
• kppw99 / AutoVAS
  AutoVAS is an automated vulnerability analysis system with a deep learning approach.
  ☆35Updated 4 years ago
• panthap2 / AssociatingNLCommentCodeEntities
  Dataset and code corresponding to Associating Natural Language Comment and Source Code Entities (AAAI 2020)
  ☆20Updated 5 years ago
• keowang / dynamic-program-embedding
  the code for three models introduced in DYNAMIC NEURAL PROGRAM EMBEDDINGS FOR PROGRAM REPAIR (ICLR 18)
  ☆32Updated 7 years ago
• tthtlc / awesome-source-analysis
  Source code understanding via Machine Learning techniques
  ☆138Updated 2 years ago
• victorjmarin / sourcedg
  System Dependence Graph generation from Java source code
  ☆19Updated 6 years ago