From the 1 of 8 linked papers with an AI index.
8 papers
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…
Dialect-Agnostic SQL Parsing via LLM-Based Segmentation
Junwen An, Kabilan Mahathevan, Manuel Rigger
SQL is a widely adopted language for querying data, which has led to the development of various SQL analysis and rewriting tools. However, due to the diversity of SQL dialects, suc…
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…
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…
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…