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
  ☆24Updated 4 years ago
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆46Updated 3 years ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆42Updated 7 months ago
• apferscher / ble-learning
  ☆18Updated 2 years ago
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆22Updated 4 months ago
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 3 years ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆18Updated last year
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆31Updated 4 months ago
• assist-project / dtls-fuzzer
  Protocol state machine learner and fuzzer for DTLS servers and clients
  ☆38Updated this week
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆13Updated last week
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆55Updated 2 years ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated last month
• qingkaishi / netlifter
  Lifting network implementation to precise format specification
  ☆23Updated 3 months ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆53Updated 10 months ago
• coco-team / zustre
  A model checker and assume/guarantee contract generator for Lustre programs.
  ☆15Updated 6 years ago
• neu-se / CONFETTI
  ☆20Updated 2 years ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated 4 months ago
• fatimahkj / EBF
  A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols
  ☆16Updated 9 months ago
• eth-sri / learch
  ☆40Updated last year
• vlab-cs-ucsb / ABC
  ☆27Updated 5 months ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆18Updated 3 years ago
• anlalalu / Q-testing
  ☆23Updated 4 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆46Updated 4 months ago
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆212Updated 2 weeks ago
• lvtao-sec / Advance
  RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection
  ☆16Updated 3 years ago
• Qi-Pang / MDPFuzz
  Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.
  ☆23Updated 2 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 5 years ago
• isstac / badger
  ☆20Updated 6 years ago
• purseclab / PGFuzz
  Policy-Guided Fuzzing for Robotic Vehicles
  ☆33Updated last year
• yannicnoller / hydiff
  ☆25Updated 3 years ago