kensens / FrAngelLinks
A Java program synthesizer.
☆21Updated 6 years ago
Alternatives and similar repositories for FrAngel
Users that are interested in FrAngel are comparing it to the libraries listed below
Sorting:
- Official repository for PraPR source code☆14Updated 4 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- SyPet: Component-Based Synthesis for Complex APIs☆20Updated 7 years ago
- ☆40Updated 6 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆39Updated 2 years ago
- Practical Program Repair via Bytecode Mutation☆65Updated 2 years ago
- ☆24Updated last month
- Hosts our tool for mining simple "stupid'' bugs (SStuBs).☆38Updated 3 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated 2 years ago
- A powerful relational representation of source code☆31Updated last year
- Code2Inv: Learning Loop Invariants for Program Verification☆95Updated 4 years ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- ☆13Updated 4 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 7 months ago
- An empirical study on patch correctness☆15Updated 2 years ago
- A Reproducible Benchmark of Recent Java Bugs☆38Updated last month
- Enumerative Testing and Bounded Validation of SMT Solvers☆22Updated 3 months ago
- ☆14Updated last year
- AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations☆28Updated 4 years ago
- A redistributable subset of the ETH Py150 corpus [https://www.sri.inf.ethz.ch/py150], introduced in the ICML 2020 paper 'Learning and Eva…☆31Updated 4 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆78Updated 9 months ago
- Checkout our paper: History Driven Program Repair here☆11Updated 6 years ago
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆96Updated 3 years ago
- ☆16Updated 10 months ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- Euphony: a probabilistic model-guided program synthesizer☆25Updated 2 years ago
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆70Updated 6 months ago
- ☆17Updated 5 years ago
- Fast and Precise On-the-fly Patch Validation for All☆10Updated 2 years ago