Model-driven test cases generation for multi-level service composition | IEEE Conference Publication | IEEE Xplore