From the 1 of 11 linked papers with an AI index.
5 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…
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…
Finding Cross-rule Optimization Bugs in Datalog Engines
Chi Zhang, Linzhang Wang, Manuel Rigger
Datalog is a popular and widely-used declarative logic programming language. Datalog engines apply many cross-rule optimizations; bugs in them can cause incorrect results. To detec…