An Empirical Validation of a Web Fault Taxonomy and its Usage for Web Testing