squares-sql / SQUARES
A SQL and R Synthesizer Using Query Reverse Engineering
☆25Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for SQUARES
- ☆24Updated 2 years ago
- Synthesizing SQL queries from input / output examples☆45Updated 4 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆21Updated last year
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆25Updated 5 years ago
- The SQL Standards Project aims to create consensus in SQL semantics☆43Updated last month
- A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.☆70Updated 4 years ago
- Tool for checking whether two SQL queries are equivalent☆34Updated last year
- ☆10Updated 3 years ago
- This is java implementation of Graspan.☆20Updated 11 months ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆34Updated last year
- A tool for testing SMT solvers for incompleteness bugs☆15Updated 2 years ago
- Enumerative Testing and Bounded Validation of SMT Solvers☆20Updated last month
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- A fuzzing framework for finding transactional bugs in DBMSs☆50Updated last year
- Search, check, and autofix your BibTex files!☆25Updated 7 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆48Updated 4 years ago
- A framework for testing compilers' type checkers☆17Updated last week
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- A SyGuS Solver☆22Updated 3 months ago
- A list of bugs found by SQLancer☆13Updated 9 months ago
- A Python script to create cactus and scatter plots based on matplotlib☆23Updated 3 years ago
- Generates loop invariants for program verification☆58Updated 3 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆65Updated last year
- PL/SE conference deadline countdowns☆19Updated 4 years ago
- Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems☆31Updated 2 weeks ago
- A language for symbolic transitions system, inspired by Ivy.☆66Updated 7 months ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆21Updated 3 years ago
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Updated 4 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆45Updated 3 years ago