Testing techniques in software engineering second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 ; revised lectures (Springer, 2010)