From the 1 of 8 linked papers with an AI index.
7 papers · 1 filter
Metamorphic Coverage
Jinsheng Ba, Yuancheng Jiang, Manuel Rigger
The paper proposes Metamorphic Coverage, a metric that measures the distinct code exercised by pairs of inputs in metamorphic testing, and shows it correlates better with bug detec…
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…
Constant Optimization Driven Database System Testing
Chi Zhang, Manuel Rigger
Logic bugs are bugs that can cause database management systems (DBMSs) to silently produce incorrect results for given queries. Such bugs are severe, because they can easily be ove…
Enhanced Differential Testing in Emerging Database Systems
Yuancheng Jiang, Jianing Wang, Chuqi Zhang +3
In recent years, a plethora of database management systems have surfaced to meet the demands of various scenarios. Emerging database systems, such as time-series and streaming data…
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.…
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…