Sign in

Efficient Black-box Checking of Snapshot Isolation in Databases.

Kaile HuangSi LiuZhenge ChenHengfeng WeiDavid A. BasinHaixiang LiAnqun Pan
Published in: CoRR (2023)
Keyphrases
  • black box
  • databases
  • black boxes
  • integration testing
  • white box
  • database systems
  • data model
  • database replication
  • management system
  • test cases
  • data management
  • database applications
  • data integration