Louren{\c c}o, João, and Gon{\c c}alo Cunha. "Testing patterns for software transactional memory engines." Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging. PADTAD ?07. New York, NY, USA: ACM,  2007. 36-42.