Automated Testing of Web Services Based on Algebraic Specifications