- Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcock, editors, Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures. Volume 6153 of Lecture Notes in Computer Science, Springer, 2010.