Projects

SQLancer++   GitHub stars

SQLancer++ automatically finds bugs in SQL database management systems with automatic dialect adaptability.

GSlicer   GitHub stars

GSlicer is an automated testing tool that finds logic bugs in graph-processing systems.

A Unified Query Plan Representation

An exploratory case study of various query plan representations.

FlowFusion   GitHub stars

FlowFusion is an automated testing tool that has found more than 300 bugs in the PHP interpreter.

Spatter   GitHub stars

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

SQuaLity   GitHub stars

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

DEOPT   GitHub stars

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

GraphGenie   GitHub stars

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

SQLancer   GitHub stars

SQLancer automatically finds bugs in database systems.

XPress   GitHub stars

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