1 paper
Weihua Sun, Zhaonian Zou
Verifying the serializability of transaction histories is essential for users to know if the DBMS ensures the claimed serializable isolation level without potential bugs. Black-box…