Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation.

Zu-Ming Jiang, Zhendong Su

Browse the full OSDI paper archive.