Automating the Detection of Snapshot Isolation Anomalies. - Sudhir Jorwekar; Alan D. Fekete; Krithi Ramamritham; S. Sudarshan 001 (VLDB, 2007)