Model-based testing of web service compositions | IEEE Conference Publication | IEEE Xplore