A holistic approach to model-based testing of Web service compositions - Belli, Fevzi; Endo, André Takeshi; Simão, Adenilso da Silva (Software, Practice and Experience, 2014)