Test and analysis of Web services - Baresi, Luciano; Di Nitto, Elisabetta (Springer, 2007)