@inproceedings{lourenco:testing-stm:padtad:2007,
  author	= {Lourenco, Joao M.S. and Cunha, Goncalo T.},
  title		= {Testing patterns for software transactional memory engines},
  booktitle	= {PADTAD '07: Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging},
  year		= {2007},
  isbn		= {978-1-59593-748-3},
  pages		= {36--42},
  location	= {London, United Kingdom},
  publisher	= {ACM},
  address	= {New York, NY, USA},
  urlpage	= {http://doi.acm.org/10.1145/1273647.1273655},
  pdf		= {http://www-asc.di.fct.unl.pt/~jml/Papers/2007/padtad21s.pdf}
}