Zhenge Chen

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Database Replication

Integration Testing

Top Venues

Proc. VLDB Endow.

Publications

Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David A. Basin, Haixiang Li, Anqun Pan
Efficient Black-box Checking of Snapshot Isolation in Databases. Proc. VLDB Endow. 16 (6) (2023)
Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David A. Basin, Haixiang Li, Anqun Pan
Efficient Black-box Checking of Snapshot Isolation in Databases. CoRR (2023)