Sudhir Jorwekar, Alan Fekete, Krithi Ramamritham, S. Sudarshan. Automating the Detection of Snapshot Isolation Anomalies. In Christoph Koch, Johannes Gehrke, Minos N. Garofalakis, Divesh Srivastava, Karl Aberer, Anand Deshpande, Daniela Florescu, Chee Yong Chan, Venkatesh Ganti, Carl-Christian Kanne, Wolfgang Klas, Erich J. Neuhold, editors, Proceedings of the 33rd International Conference on Very Large Data Bases, University of Vienna, Austria, September 23-27, 2007. pages 1263-1274, ACM, 2007. [doi]
Abstract is missing.