TY  - RPRT
TI  - Online Timestamp-based Transactional Isolation Checking of Database Systems (Extended Version)
AU  - Hexu Li
AU  - Hengfeng Wei
AU  - Hongrong Ouyang
AU  - Yuxing Chen
AU  - Na Yang
AU  - Ruohao Zhang
AU  - Anqun Pan
PY  - 2025
UR  - https://arxiv.org/abs/2504.01477
ID  - 2504.01477
ER  -