Cover Image

Constant Optimization Driven Database System Testing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Chi, Rigger, Manuel
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Databases Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
by: Deng, Wenjing, et al.
Published: (2024)

Scaling Automated Database System Testing
by: Zhong, Suyang, et al.
Published: (2025)

Testing Database Systems with Large Language Model Synthesized Fragments
by: Zhong, Suyang, et al.
Published: (2025)

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
by: Mang, Qiuyang, et al.
Published: (2025)

CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation
by: Ba, Jinsheng, et al.
Published: (2023)

Understanding and Reusing Test Suites Across Database Systems
by: Zhong, Suyang, et al.
Published: (2024)

Synthesizing Document Database Queries using Collection Abstractions
by: Liu, Qikang, et al.
Published: (2024)

Towards a Unified Query Plan Representation
by: Ba, Jinsheng, et al.
Published: (2024)

Dialect-Agnostic SQL Parsing via LLM-Based Segmentation
by: An, Junwen, et al.
Published: (2026)

CUBES: A Parallel Synthesizer for SQL Using Examples
by: Brancas, Ricardo, et al.
Published: (2022)

CobbleDB: Modelling Levelled Storage by Composition
by: Ma, Emilie, et al.
Published: (2026)

The Case for Multi-Version Experimental Evaluation (MVEE)
by: Jörz, Simon, et al.
Published: (2026)

Object Graph Programming
by: Thimmaiah, Aditya, et al.
Published: (2024)

Task-Aware Reduction for Scalable LLM-Database Systems
by: Barnes, Marcus Emmanuel, et al.
Published: (2025)

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
by: Zhao, Pinhan, et al.
Published: (2025)

Testing Database Engines via Query Plan Guidance
by: Ba, Jinsheng, et al.
Published: (2023)

DIRT: Database-Integrated Random Testing
by: Keles, Alperen, et al.
Published: (2026)

Enhanced Differential Testing in Emerging Database Systems
by: Jiang, Yuancheng, et al.
Published: (2025)

Scalability, Availability, Reproducibility and Extensibility in Islamic Database Systems
by: Siddiqui, Umar, et al.
Published: (2025)

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
by: Cui, Baoquan, et al.
Published: (2025)

Finding Cross-rule Optimization Bugs in Datalog Engines
by: Zhang, Chi, et al.
Published: (2024)

Vextra: A Unified Middleware Abstraction for Heterogeneous Vector Database Systems
by: Suri, Chandan, et al.
Published: (2026)

Finding Performance Issues in Database Systems by Exploiting Dormant Code Paths
by: Ba, Jinsheng, et al.
Published: (2026)

Ultraverse: A System-Centric Framework for Efficient What-If Analysis for Database-Intensive Web Applications
by: Ko, Ronny, et al.
Published: (2022)

Pattern-Based Peephole Optimizations with Java JIT Tests
by: Zang, Zhiqiang, et al.
Published: (2024)

Comparative analysis of large data processing in Apache Spark using Java, Python and Scala
by: Borodii, Ivan, et al.
Published: (2025)

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
by: Shree, Iti, et al.
Published: (2025)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
by: Cai, Jianfeng, et al.
Published: (2026)

RISE: Rule-Driven SQL Dialect Translation via Query Reduction
by: Xie, Xudong, et al.
Published: (2026)

A Practical Framework for Flaky Failure Triage in Distributed Database Continuous Integration
by: Zhu, Jun-Peng, et al.
Published: (2026)

LogDB: Multivariate Log-based Failure Diagnosis for Distributed Databases (Extended from MultiLog)
by: Zhang, Lingzhe, et al.
Published: (2025)

Dinkel: State-Aware and Granular Framework for Validating Graph Databases
by: Wüst, Celine, et al.
Published: (2024)

An Empirical Study on the Characteristics of Database Access Bugs in Java Applications
by: Liu, Wei, et al.
Published: (2024)

Checkification: A Practical Approach for Testing Static Analysis Truths
by: Ferreiro, Daniela, et al.
Published: (2025)

Finding XPath Bugs in XML Document Processors via Differential Testing
by: Li, Shuxin, et al.
Published: (2024)

Contextualized Data-Wrangling Code Generation in Computational Notebooks
by: Huang, Junjie, et al.
Published: (2024)

Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)
by: Wei, Hengfeng, et al.
Published: (2025)

Automating Database-Native Function Code Synthesis with LLMs
by: Zhou, Wei, et al.
Published: (2026)

Seamless Data Migration between Database Schemas with DAMI-Framework: An Empirical Study on Developer Experience
by: Ramos-Vidal, Delfina, et al.
Published: (2025)

Programmable Property-Based Testing
by: Keles, Alperen, et al.
Published: (2026)