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