@misc{indiciae7e320e582340,
  title = {HISTEX (HISTory EXerciser) : A tool for testing the implementation of Isolation Levels of Relational Database Management Systems},
  author = {Dimitrios Liarokapis and Elizabeth ONeil and Patrick ONeil},
  year = {2019},
  url = {https://arxiv.org/abs/1903.00731},
  note = {Source identifier: 1903.00731}
}