Alternatives and similar repositories for mut-learn:

Users that are interested in mut-learn are comparing it to the libraries listed below

• wcventure / Active-Automata-Learning
  A Quick Research of Active Automata Learning
  ☆25Updated 5 years ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated last month
• apferscher / ble-learning
  ☆18Updated 2 years ago
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆46Updated 3 years ago
• assist-project / dtls-fuzzer
  Protocol state machine learner and fuzzer for DTLS servers and clients
  ☆37Updated this week
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆98Updated 2 years ago
• coco-team / zustre
  A model checker and assume/guarantee contract generator for Lustre programs.
  ☆15Updated 6 years ago
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆175Updated this week
• eth-sri / learch
  ☆39Updated last year
• jderuiter / statelearner
  A tool that can be used to learn state machines from implementations.
  ☆64Updated 3 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆46Updated 5 months ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 5 years ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆44Updated 8 months ago
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆214Updated last month
• yannicnoller / hydiff
  ☆25Updated 3 years ago
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 3 years ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆73Updated last week
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated 2 weeks ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆18Updated last year
• srcML / srcSlice
  Lightweight tool for slicing
  ☆35Updated this week
• caballa / wrapped-intervals
  Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…
  ☆12Updated 7 years ago
• sbusard / pynusmv
  PyNuSMV is a Python framework for experimenting and prototyping BDD-based model checking algorithms based on NuSMV.
  ☆24Updated 6 years ago
• fatimahkj / EBF
  A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols
  ☆16Updated 9 months ago
• petablox / arbitrar
  User Guided API Misuse Detection
  ☆28Updated 2 years ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆89Updated 9 months ago
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 9 years ago
• IoTBench / IoTBench-test-suite
  A micro-benchmark suite to assess the effectiveness of tools designed for IoT apps
  ☆64Updated 5 years ago
• stg-tud / MUBench
  ☆56Updated last year
• Qi-Pang / MDPFuzz
  Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.
  ☆24Updated 2 years ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆53Updated 11 months ago