Automated Testing of Web Services Based on Algebraic Specifications | IEEE Conference Publication | IEEE Xplore