TY  - RPRT
TI  - Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)
AU  - Hengfeng Wei
AU  - Jiang Xiao
AU  - Na Yang
AU  - Si Liu
AU  - Zijing Yin
AU  - Yuxing Chen
AU  - Anqun Pan
PY  - 2025
UR  - https://arxiv.org/abs/2504.02344
ID  - 2504.02344
ER  -