Publications

Chi Zhang, Manuel Rigger (2024). Constant Optimization Driven Database System Testing. In SIGMOD 2025.

Suyong Zhong, Manuel Rigger (2024). Understanding and Reusing Test Suites Across Database Systems. In SIGMOD 2025.

Wenjing Deng, Qiuyang Mang, Chengyu Zhang, Manuel Rigger (2024). Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs. In SIGMOD 2025.

Jovyn Tan, Manuel Rigger (2024). Inconsistencies in TeX-produced Documents. In ISSTA 2024.

Jinsheng Ba, Manuel Rigger (2024). Keep It Simple: Testing Databases via Differential Query Plans. In SIGMOD 2024.

PDF Cite Project

Jun Lyu, Shanshan Li, He Zhang, Yang Zhang, Guoping Rong, Manuel Rigger (2024). Detecting Build Dependency Errors in Incremental Builds. In ISSTA 2024.

Jack Clark, Alastair Donaldson, John Wickerson, Manuel Rigger (2024). Validating Database System Isolation Level Implementations with Version Certificate Recovery. In EuroSys 2024.

Chi Zhang, Linzhang Wang, Manuel Rigger (2023). Finding Cross-rule Optimization Bugs in Datalog Engines. In OOPSLA 2024.

Shuxin Li, Manuel Rigger (2023). Finding XPath Bugs in XML Document Processors via Differential Testing. In ICSE 2024.

Jinsheng Ba, Manuel Rigger (2023). CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation. In ICSE 2024.

PDF Cite Project

Yuancheng Jiang, Jiahao Liu, Jinsheng Ba, Roland H.C. Yap, Zhenkai Liang, Manuel Rigger (2023). Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Pattern Transformation. In ICSE 2024.

Matteo Kamm, Manuel Rigger, Chengyu Zhang, Zhendong Su (2022). Testing Graph Database Engines via Query Partitioning. In ISSTA 2023.

Jinsheng Ba, Manuel Rigger (2022). Testing Database Engines via Query Plan Guidance. In ICSE 2023.

PDF Cite Project

Manuel Rigger, Zhendong Su (2022). Intramorphic Testing: A New Approach to the Test Oracle Problem. In Onward! 2022.

Philippe Voinov, Manuel Rigger, Zhendong Su (2022). Forest: Structural Code Editing with Multiple Cursors. In Onward! 2022.