Shall We Test Service-Based Models or Generated Code? | IEEE Conference Publication | IEEE Xplore