Detecting optimization bugs in database engines via non-optimizing reference engine construction

Manuel Rigger, Zhendong Su. Detecting optimization bugs in database engines via non-optimizing reference engine construction. In Prem Devanbu, Myra B. Cohen, Thomas Zimmermann 0001, editors, ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020. pages 1140-1152, ACM, 2020. [doi]

Abstract

Abstract is missing.