Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures - Borba, Paulo.; Borba, Paulo.; Cavalcanti, Ana.; Cavalcanti, Ana.; Sampaio, Augusto.; Sampaio, Augusto.; Woodcook, Jim.; Woodcook, Jim. (Springer Berlin Heidelberg : Imprint: Springer, 2010)