GitHub repository: ChaseHuangxu/sqlancer
Primary language: Java
Description: Automated testing to find logic bugs in database systems