Cover Image

Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wei, Hengfeng, Xiao, Jiang, Yang, Na, Liu, Si, Yin, Zijing, Chen, Yuxing, Pan, Anqun
Format:	Preprint
Published:	2025
Subjects:	Databases Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Online Timestamp-based Transactional Isolation Checking of Database Systems (Extended Version)
by: Li, Hexu, et al.
Published: (2025)

Fast Verification of Strong Database Isolation (Extended Version)
by: Cai, Zhiheng, et al.
Published: (2025)

GeoTP: Latency-aware Geo-Distributed Transaction Processing in Database Middlewares (Extended Version)
by: Zhuang, Qiyu, et al.
Published: (2024)

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)

Transactional Cloud Applications: Status Quo, Challenges, and Opportunities
by: Laigner, Rodrigo, et al.
Published: (2025)

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

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

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

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

Lion: Minimizing Distributed Transactions through Adaptive Replica Provision (Extended Version)
by: Zheng, Qiushi, et al.
Published: (2024)

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

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

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)

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

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

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

MulChain: Enabling Advanced Cross-Modal Queries in Hybrid-Storage Blockchains
by: Peng, Zhiyuan, et al.
Published: (2025)

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

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

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

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

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

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

Proving Cypher Query Equivalence
by: Tang, Lei, et al.
Published: (2025)

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

Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version)
by: Beyer, Dirk, et al.
Published: (2024)

TxnSails: Achieving Serializable Transaction Scheduling with Self-Adaptive Isolation Level Selection
by: Zhuang, Qiyu, et al.
Published: (2025)

Software Model Checking via Summary-Guided Search (Extended Version)
by: Fang, Ruijie, et al.
Published: (2025)

An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor
by: Li, Zhuang, et al.
Published: (2026)

Multi-Agent End-to-End Vulnerability Management for Mitigating Recurring Vulnerabilities
by: Zheng, Zelong, et al.
Published: (2026)

Mining Constraints from Reference Process Models for Detecting Best-Practice Violations in Event Logs
by: Rebmann, Adrian, et al.
Published: (2024)

All LCA models are wrong. Are some of them useful? Towards open computational LCA in ICT
by: Corlay, Vincent, et al.
Published: (2026)

Search-Based Fuzzing For RESTful APIs That Use MongoDB
by: Ghianni, Hernan, et al.
Published: (2025)

Data Mesh: a Systematic Gray Literature Review
by: Goedegebuure, Abel, et al.
Published: (2023)

Flow with FlorDB: Incremental Context Maintenance for the Machine Learning Lifecycle
by: Garcia, Rolando, et al.
Published: (2024)

Compliant Self Service Access to Secondary Use Clinical Data at Stanford Medicine
by: Weber, SC, et al.
Published: (2024)

AI-Assisted SQL Authoring at Industry Scale
by: Maddila, Chandra, et al.
Published: (2024)

Consensus-Free Spreadsheet Integration
by: Baylor, Brandon, et al.
Published: (2022)