Detecting Concurrency Anomalies in Transactional Memory Programs João Lourenço; Diogo Sousa; Bruno Teixeira; Ricardo Dias — 2011 Computer Science and Information Systems