GitHub repository: nukoyluoglu/sqlancer
Description: Detecting Logic Bugs in DBMS