DES-Lab / AALpy
An Automata Learning Library Written in Python
☆167Updated last month
Related projects ⓘ
Alternatives and complementary repositories for AALpy
- A free, open-source Java library for automata learning algorithms☆208Updated last month
- Black-box extraction of Finite-State Machines from RNNs.☆18Updated 2 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆66Updated this week
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆14Updated 5 years ago
- A Quick Research of Active Automata Learning☆22Updated 4 years ago
- ☆25Updated 3 years 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
- A free, open-source Java library for modeling automata, graphs, and transition systems☆93Updated 2 months ago
- ☆11Updated last year
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆45Updated 3 years ago
- An automata learning library written in Python.☆49Updated 4 years ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆19Updated 9 months ago
- Search, check, and autofix your BibTex files!☆25Updated 7 months ago
- Dynamic analysis framework for Python☆58Updated last week
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆67Updated 3 weeks ago
- ☆23Updated 3 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆77Updated 3 months ago
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated 3 weeks ago
- A model-based API Fuzzer for SMT Solvers.☆11Updated last week
- Program Vulnerability Repair via Inductive Inference☆18Updated 11 months ago
- Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…☆36Updated 3 months ago
- The ISLa (Input Specification Language) language & solver.☆62Updated 4 months ago
- ☆12Updated last year
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆34Updated last year
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆68Updated last year
- A learning-guided approach for executing arbitrary Python code snippets☆15Updated 8 months ago
- Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)☆22Updated 8 months ago
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆26Updated 3 years ago
- KLEE with floating point support (unmaintained)☆18Updated 2 years ago