GitHub repository: sqlancer/sqlancer-test-1
Description: Automated testing to find logic bugs in database systems