Sudhir Jorwekar Alan Fekete Krithi Ramamritham S. Sudarshan Automating the Detection of Snapshot Isolation Anomalies. 1263-1274 2007 conf/vldb/2007 VLDB http://www.vldb.org/conf/2007/papers/industrial/p1263-jorwekar.pdf db/conf/vldb/vldb2007.html#JorwekarFRS07