Projects

Spatter

Spatter is an automated testing tool that finds bugs in geospatial database systems.

SQuaLity

SQuaLity is a project that aims to unify different database systems’ test suites into one unified test suite.

DEOPT

DEOPT is an automated testing tool to find optimization bugs in Datalog engines.

GraphGenie

GraphGenie is an automated testing tool that finds logic and performance issues in graph database management systems.

SQLancer

SQLancer automatically finds bugs in database systems.

XPress

XPress is an automated testing tool to find bugs in XML processors.