Testing Web Services Composition using the TGSE Tool Dung Cao, Patrick Félix, Richard Castanet, Ismaïl Berrada