@inproceedings{DBLP:conf/oopsla/YuNPP12, author = {Jie Yu and Satish Narayanasamy and Cristiano Pereira and Gilles Pokam}, title = {Maple: a coverage-driven testing tool for multithreaded programs}, booktitle = {OOPSLA}, year = {2012}, pages = {485-502}, ee = {http://doi.acm.org/10.1145/2384616.2384651}, crossref = {DBLP:conf/oopsla/2012}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/oopsla/2012, editor = {Gary T. Leavens and Matthew B. Dwyer}, title = {Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012}, booktitle = {OOPSLA}, publisher = {ACM}, year = {2012}, isbn = {978-1-4503-1561-6}, ee = {http://dl.acm.org/citation.cfm?id=2384616}, bibsource = {DBLP, http://dblp.uni-trier.de} }