sslab-gatech / apolloLinks
A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.
☆72Updated 5 years ago
Alternatives and similar repositories for apollo
Users that are interested in apollo are comparing it to the libraries listed below
Sorting:
- A fuzzing framework for finding transactional bugs in DBMSs☆53Updated 2 years ago
- A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener☆16Updated last year
- Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems☆41Updated 4 months ago
- ☆205Updated 2 years ago
- Coveraged-based fuzzer for finding DBMS logical bugs☆57Updated 3 years ago
- ☆16Updated this week
- A list of bugs found by SQLancer☆17Updated last year
- A random SQL query generator☆812Updated last week
- A SQL and R Synthesizer Using Query Reverse Engineering☆25Updated 5 years ago
- Tool for checking whether two SQL queries are equivalent☆37Updated 2 years ago
- The SQL Standards Project aims to create consensus in SQL semantics☆47Updated last year
- go-sqlancer☆78Updated 5 years ago
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12Updated 5 years ago
- An automated prover that verifies the equivalence of SQL queries☆50Updated 3 months ago
- Automated testing tool to find logic bugs in graph database systems☆19Updated 2 years ago
- ☆26Updated 3 years ago
- 数据库测试资料 This repo is a collection of resources on testing database systems☆170Updated 4 months ago
- ☆38Updated 2 years ago
- Greybox Fuzzing of Distributed Systems (CCS'23)☆56Updated last year
- CrashMonkey: tools for testing file-system reliability (OSDI 18)☆203Updated 3 years ago
- Automated Testing Tool for Graph-processing Systems.☆12Updated 3 months ago
- The Documentation for the Random Query Generator project☆48Updated 13 years ago
- MariaDB QA (mariadb-qa)☆14Updated last week
- fuzzing for config☆13Updated 5 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆30Updated 3 years ago
- Python implementation of TPC-C☆151Updated 2 years ago
- ☆11Updated 4 years ago
- Monarch: A Fuzzing Framework for Distributed File Systems (ATC'24)☆19Updated last year
- ☆34Updated 3 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 5 years ago