Testing Techniques in Software Engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures - Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook ((Lecture Notes in Computer Science))