13th Latin American Test Workshop, LATW 2012, Quito, Ecuador, April 10-13, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-2355-0