wcventure / Active-Automata-Learning
A Quick Research of Active Automata Learning
☆22Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for Active-Automata-Learning
- Program Vulnerability Repair via Inductive Inference☆18Updated 11 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆52Updated 7 months ago
- ☆13Updated this week
- Grammar synthesis algorithm using a black box oracle☆35Updated 6 months ago
- ☆39Updated last year
- FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world…☆46Updated 7 months ago
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆14Updated 5 years ago
- ☆75Updated last year
- The ISLa (Input Specification Language) language & solver.☆62Updated 4 months ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆30Updated 2 years ago
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆29Updated last year
- ☆26Updated 3 weeks ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 4 years ago
- Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.☆23Updated last year
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆45Updated 3 years ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆19Updated 9 months ago
- Fuzzing framework for Robot Operating System (ROS) and ROS-based robotic systems☆15Updated last year
- ☆20Updated 5 years ago
- An automata learning library written in Python.☆49Updated 4 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- ☆16Updated 5 years ago
- ☆36Updated 3 weeks ago
- Policy-Guided Fuzzing for Robotic Vehicles☆33Updated last year
- ☆25Updated 3 years ago
- A fuzzing environment for RL, based on Gym and AFL.☆11Updated 3 years ago
- User Guided API Misuse Detection☆27Updated last year
- A framework for testing compilers' type checkers☆17Updated last week
- An SMT Solver for string constraints☆34Updated this week
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated 3 weeks ago
- ☆23Updated 4 years ago