Model-Based Integration Testing of Enterprise Services | IEEE Conference Publication | IEEE Xplore