Using Metamodels to Improve Model-Based Testing of Service Orchestrations | IEEE Conference Publication | IEEE Xplore