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 Finding Logic Bugs in Graph-processing Systems via Graph-cutting Graph-processing systems, including Graph Database Management Systems (GDBMSes) and graph libraries, are designed to analyze and manage … Qiuyang Mang, Jinsheng Ba, Pinjia He, Manuel Rigger Project Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs Spatial Database Management Systems (SDBMSs) aim to store, manipulate, and retrieve spatial data. SDBMSs are employed in various modern … Wenjing Deng, Qiuyang Mang, Chengyu Zhang, Manuel Rigger Project 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