Automated testing to find logic and performance bugs in database systems - View it on GitHub