Login / Signup
Leopard: A General Test Suite for Isolation Level Verification.
Peiyuan Liu
Siyang Weng
Keqiang Li
Lyu Ni
Chengcheng Yang
Rong Zhang
Weining Qian
Dian Qiao
Published in:
CIDR (2024)
Keyphrases
</>
test suite
special case
test cases
closely related
regression testing
database
machine learning
life cycle
test suite reduction
video sequences
image quality
signature verification
formal verification