HISTEX (HISTory EXerciser) : A tool for testing the implementation of Isolation Levels of Relational Database Management Systems. - Dimitrios Liarokapis; Elizabeth ONeil; Patrick ONeil (CoRR, 2019)