Louren{\c c}o, João, Diogo Sousa, Bruno C. Teixeira, and Ricardo Dias. "Detecting concurrency anomalies in transactional memory programs." Comput. Sci. Inf. Syst.. 8 (2011).