Alternatives and similar repositories for mut-learn

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

• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆215Updated last month
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆186Updated last week
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆47Updated 3 years ago
• Qi-Pang / MDPFuzz
  Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.
  ☆24Updated 2 years ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated 2 weeks ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆33Updated 5 years ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆20Updated last year
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 4 years ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆100Updated 2 years ago
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆59Updated 2 years ago
• ssvlab / dsverifier
  DSVerifier - Digital Systems Verifier
  ☆12Updated 6 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆228Updated 3 weeks ago
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 10 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated 2 weeks ago
• srcML / srcSlice
  Lightweight tool for slicing
  ☆35Updated this week
• wcventure / Active-Automata-Learning
  A Quick Research of Active Automata Learning
  ☆30Updated 5 years ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆17Updated 8 months ago
• batchenRothenberg / AllRepair
  ☆11Updated 4 years ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆54Updated 2 weeks ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆19Updated 4 years ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆34Updated 9 months ago
• tingsu / caut-lib
  a CIL-based dynamic symbolic execution (DSE) engine for C language
  ☆10Updated 10 years ago
• qingkaishi / context-sensitive-reachability
  Indexing reachability for context-sensitive data flow analysis.
  ☆12Updated 3 years ago
• rohanpadhye / vasco
  An inter-procedural data-flow analysis framework using value-based context sensitivity
  ☆91Updated last year
• secure-software-engineering / ideal
  IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis
  ☆10Updated 7 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…
  ☆31Updated 2 years ago
• petablox / arbitrar
  User Guided API Misuse Detection
  ☆29Updated 2 years ago
• jburnim / crest
  CREST is a concolic test generation tool for C.
  ☆162Updated 5 years ago
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆26Updated 9 months ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago