Automated testing of Web Services system based on OWL-S | IEEE Conference Publication | IEEE Xplore