Leopard: A Black-Box Approach for Efficiently Verifying Various Isolation Levels | IEEE Conference Publication | IEEE Xplore