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