paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Sedar: Obtaining High-Quality Seeds for DBMS Fuzzing via Cross-DBMS SQL Transfer

Sedar：通过跨 DBMS SQL 迁移获取用于 DBMS 模糊测试的高质量种子
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 1/10 · 该论文研究 DBMS 模糊测试的种子生成，属于软件测试/数据库测试方向，不涉及用户关注的静态分析、LLM/Agent 与程序分析交叉、浮点程序分析或贝叶斯程序分析。引用 13 inbox
Jingzhou Fu, Jie Liang, Zhiyong Wu, Yu Jiang
测试、调试与修复
crossref: 2026-09-12

AI 速览

一句话：提出 Sedar，通过跨 DBMS SQL 迁移为缺少测试用例的 DBMS 生成高质量模糊测试种子。

有效 DBMS 模糊测试依赖高质量初始种子，种子需覆盖多种 DBMS 特性以充分探索状态空间；然而许多 DBMS 缺少全面测试用例，导致最先进的模糊测试技术难以直接应用。Sedar 提出通过跨 DBMS 的 SQL 迁移来获取高质量种子：将其他 DBMS 中可用的 SQL 语句或测试用例迁移为目标 DBMS 的初始种子，从而弥补测试用例不足。该工作针对 DBMS 模糊测试的种子生成阶段，目标是提升种子的特性覆盖与可移植性。摘要未给出具体实验数据，评估应关注迁移种子在 DBMS 模糊测试中的覆盖率与漏洞发现效果。

问题
许多 DBMS 缺少全面的内置测试用例，难以直接应用依赖高质量初始种子的先进模糊测试技术。
方法
Sedar 通过跨 DBMS 的 SQL 迁移，将其他 DBMS 的 SQL 语句或测试用例转化为目标 DBMS 的初始种子。
评估
评估应围绕迁移得到的种子在 DBMS 模糊测试中的覆盖率与缺陷发现效果展开；摘要未给出具体实验数据。
原文摘要（Abstract）

Effective DBMS fuzzing relies on high-quality initial seeds, which serve as the starting point for mutation. These initial seeds should incorporate various DBMS features to explore the state space thoroughly. While built-in test cases are typically used as initial seeds, many DBMSs lack comprehensive test cases, making it difficult to apply state-of-the-art fuzzing techniques directly.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot11321,
  title = {Sedar: Obtaining High-Quality Seeds for DBMS Fuzzing via Cross-DBMS SQL Transfer},
  author = {Jingzhou Fu and Jie Liang and Zhiyong Wu and Yu Jiang},
  booktitle = {ICSE},
  year = {2024},
  doi = {10.1145/3597503.3639210}
}