TY  - RPRT
TI  - Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels
AU  - Ahmed Bouajjani
AU  - Constantin Enea
AU  - Enrique Román-Calvo
PY  - 2023
DO  - 10.1145/3591243
UR  - https://arxiv.org/abs/2303.12606
ID  - 2303.12606
ER  -