Dias, Ricardo, João Seco, and João Louren{\c c}o. "Snapshot Isolation Anomalies Detection in Software Transactional Memory." InForum 2010: Proceedings of InForum Simpósio de Informática. Universidade do Minho,  2010.