SQLancer Mar 11, 2023 Go to Project Site SQLancer automatically finds bugs in database systems. Manuel Rigger Faculty Manuel is an Assistant Professor and leads the group. Publications Constant Optimization Driven Database System Testing Logic bugs are bugs that can cause database management systems (DBMSs) to silently produce incorrect results for given queries. Such … Chi Zhang, Manuel Rigger Project Keep It Simple: Testing Databases via Differential Query Plans Query optimizers perform various optimizations, many of which have been proposed to optimize joins. It is pivotal that these … Jinsheng Ba, Manuel Rigger PDF Cite Project CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation Database Management Systems (DBMSs) process a given query by creating an execution plan, which is subsequently executed, to compute the … Jinsheng Ba, Manuel Rigger PDF Cite Project Testing Database Engines via Query Plan Guidance Database systems are widely used to store and query data. Test oracles have been proposed to find logic bugs in such systems, that is, … Jinsheng Ba, Manuel Rigger PDF Cite Project
