DEOPT is an automated testing tool to find optimization bugs in Datalog engines.
GraphGenie is an automated testing tool that finds logic and performance issues in graph database management systems.
SQLancer automatically finds bugs in database systems.
XPress is an automated testing tool to find bugs in XML processors.