Testing Techniques in Software EngineeringPaulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook · First published 2010Open the Tome
FM'99 - Formal MethodsJeannette M. Wing, Jim Woodcook, Jim Davies · First published 2003Open the Tome
