Detects logic bugs in database management systems using SQL
Detecting Logic Bugs in DBMS
sqlancer
$ sqlancer --dbms sqlite3
$ sqlancer --dbms postgres --num-tests 100
$ sqlancer --dbms mysql --seed 12345