@proceedings {Lourenco:2010:1866210,
	title = {PADTAD {\textquoteright}10: Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging},
	year = {2010},
	publisher = {ACM},
	address = {New York, NY, USA},
	isbn = {978-1-4503-0136-7},
	editor = {Louren{\c c}o, Jo{\~a}o and Farhi, Eitan and Ur, Shmuel}
}
