@misc{indiciaeca1fa15ee2f4,
  title = {Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)},
  author = {Hengfeng Wei and Jiang Xiao and Na Yang and Si Liu and Zijing Yin and Yuxing Chen and Anqun Pan},
  year = {2025},
  url = {https://arxiv.org/abs/2504.02344},
  note = {Source identifier: 2504.02344}
}