Efficient Black-box Checking of Snapshot Isolation in Databases

Re-assign community