Copertina

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Deng, Wenjing, Mang, Qiuyang, Zhang, Chengyu, Rigger, Manuel
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Databases Programming Languages Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Constant Optimization Driven Database System Testing
di: Zhang, Chi, et al.
Pubblicazione: (2025)

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

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

Scaling Automated Database System Testing
di: Zhong, Suyang, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

Object Graph Programming
di: Thimmaiah, Aditya, et al.
Pubblicazione: (2024)

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

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

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

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

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
di: Feng, Qiong, et al.
Pubblicazione: (2025)

UBfuzz: Finding Bugs in Sanitizer Implementations
di: Li, Shaohua, et al.
Pubblicazione: (2024)

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

BugLens: Leveraging Bisection for Lightweight Compiler Bug Deduplication
di: Zhou, Xintong, et al.
Pubblicazione: (2025)

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

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
di: Ye, He, et al.
Pubblicazione: (2023)

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

InEx-Bug: A Human Annotated Dataset of Intrinsic and Extrinsic Bugs in the NPM Ecosystem
di: Wright, Tanner, et al.
Pubblicazione: (2026)

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
di: Serebryany, Kostya, et al.
Pubblicazione: (2023)

Proving Cypher Query Equivalence
di: Tang, Lei, et al.
Pubblicazione: (2025)

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

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

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

Input-Gen: Guided Generation of Stateful Inputs for Testing, Tuning, and Training
di: Ivanov, Ivan R., et al.
Pubblicazione: (2024)

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

Natural Language Query Engine for Relational Databases using Generative AI
di: Fotso, Steve Tueno
Pubblicazione: (2024)

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
di: Yang, Aidan Z. H., et al.
Pubblicazione: (2024)

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

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

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

MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices
di: Lauwaerts, Tom, et al.
Pubblicazione: (2025)

Generating Equivalent Representations of Code By A Self-Reflection Approach
di: Li, Jia, et al.
Pubblicazione: (2024)

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