Louren{\c c}o, João, Ricardo Dias, João Lu\'?s, Miguel Rebelo, and Vasco Pessanha. "Understanding the behavior of transactional memory applications." Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. PADTAD ?09. New York, NY, USA: ACM,  2009. 3:1-3:9.