Efficient Black-box Checking of Snapshot Isolation in Databases
Huang, Kaile, Liu, Si, Chen, Zhenge, Wei, Hengfeng, Basin, David, Li, Haixiang, Pan, Anqun
Year of Publication 18.01.2023
Year of Publication 18.01.2023
Get full text
Journal Article
Coo: Rethink Data Anomalies In Databases
Li, Haixiang, Li, Xiaoyan, Chen, Yuxing, Zhu, Yuean, Du, Xiaoyong, Lu, Wei, Liu, Chang, Pan, Anqun
Year of Publication 14.09.2021
Year of Publication 14.09.2021
Get full text
Journal Article
Verifying Transactional Consistency of MongoDB
Ouyang, Hongrong, Hengfeng Wei, Huang, Yu, Li, Haixiang, Pan, Anqun
Published in arXiv.org (16.06.2022)
Get full text
Published in arXiv.org (16.06.2022)
Paper
Efficient Black-box Checking of Snapshot Isolation in Databases
Huang, Kaile, Liu, Si, Chen, Zhenge, Hengfeng Wei, Basin, David, Li, Haixiang, Pan, Anqun
Published in arXiv.org (25.10.2023)
Get full text
Published in arXiv.org (25.10.2023)
Paper