98 citations · 126 across the 2 of their papers we have counts for
2 papers
cs.SE2020★ 98 cited
Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction
Manuel Rigger, Zhendong Su
Database Management Systems (DBMS) are used ubiquitously. To efficiently access data, they apply sophisticated optimizations. Incorrect optimizations can result in logic bugs, whic…
cs.DB2020★ 28 cited
Testing Database Engines via Pivoted Query Synthesis
Manuel Rigger, Zhendong Su
Relational databases are used ubiquitously. They are managed by database management systems (DBMS), which allow inserting, modifying, and querying data using a domain-specific lang…