Model-Based Testing of Service-Oriented Applications via State Models | IEEE Conference Publication | IEEE Xplore