GitHub repository: yugabyte/sqlancer
Primary language: Java
Description: Detecting Logic Bugs in DBMS