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