98 citations · 166 across the 18 of their papers we have counts for
8 papers · 1 filter
Understanding and Reusing Test Suites Across Database Systems
Suyang Zhong, Manuel Rigger
Database Management System (DBMS) developers have implemented extensive test suites to test their DBMSs. For example, the SQLite test suites contain over 92 million lines of code.…
Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
Wenjing Deng, Qiuyang Mang, Chengyu Zhang +1
Spatial Database Management Systems (SDBMSs) aim to store, manipulate, and retrieve spatial data. SDBMSs are employed in various modern applications, such as geographic information…
Fuzzing the PHP Interpreter via Dataflow Fusion
Yuancheng Jiang, Chuqi Zhang, Bonan Ruan +4
PHP, a dominant scripting language in web development, powers a vast range of websites, from personal blogs to major platforms. While existing research primarily focuses on PHP app…
Towards a Unified Query Plan Representation
Jinsheng Ba, Manuel Rigger
In database systems, a query plan is a series of concrete internal steps to execute a query. Multiple testing approaches utilize query plans for finding bugs. However, query plans…
Inconsistencies in TeX-Produced Documents
Jovyn Tan, Manuel Rigger
TeX is a widely-used typesetting system adopted by most publishers and professional societies. While TeX is responsible for generating a significant number of documents, irregulari…
Detecting Build Dependency Errors in Incremental Builds
Jun Lyu, Shanshan Li, He Zhang +3
Incremental and parallel builds performed by build tools such as Make are the heart of modern C/C++ software projects. Their correct and efficient execution depends on build script…