@misc{indiciae40d8d6fc3125,
  title = {Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels},
  author = {Ahmed Bouajjani and Constantin Enea and Enrique Román-Calvo},
  year = {2023},
  doi = {10.1145/3591243},
  url = {https://arxiv.org/abs/2303.12606},
  note = {Source identifier: 2303.12606}
}