. Getlyric_lyricchecksum-6, REFERENCES [1] eviware soapUI: http://www.soapui.org. [2] The ChartLyric API

T. Berg, B. Jonsson, and H. Raffelt, Regular Inference for State Machines Using Domains with Equality Tests, pp.317-331, 2008.
DOI : 10.1007/978-3-540-78743-3_24

A. Bertolino, P. Inverardi, P. Pelliccione, and M. Tivoli, Automatic synthesis of behavior protocols for composable web-services, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, pp.141-150, 2009.
DOI : 10.1145/1595696.1595719
URL : https://hal.archives-ouvertes.fr/inria-00415421

A. Brogi and R. Popescu, Automated Generation of BPEL Adapters, Proceedings of ICSOC, 2006.
DOI : 10.1007/11948148_3

L. Cavallaro, E. D. Nitto, and M. Pradella, An Automatic Approach to Enable Replacement of Conversational Services
DOI : 10.1007/978-3-642-10383-4_11

L. Cavallaro, G. Ripa, and M. Zuccalà, Adapting service requests to actual service interfaces through semantic annotations, 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems, 2009.
DOI : 10.1109/PESOS.2009.5068824

V. De-antonellis, M. Melchiori, L. De-santis, M. Mecella, E. Mussi et al., A layered architecture for flexible Web service invocation, Software: Practice and Experience, vol.18, issue.2, pp.191-223, 2006.
DOI : 10.1002/spe.696

C. Drumm, Improving Schema Mapping by Exploiting Domain Knowledge, 2008.

M. Fredj, N. Georgantas, V. Issarny, and A. Zarras, Dynamic Service Substitution in Service-Oriented Architectures, 2008 IEEE Congress on Services, Part I, 2008.
DOI : 10.1109/SERVICES-1.2008.52

C. Ghezzi, A. Mocci, and M. Monga, Synthesizing Intentional Behavior Models by Graph Transformation, 2009.

D. Lorenzoli, L. Mariani, and M. Pezzè, Automatic generation of software behavioral models, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.501-510, 2008.
DOI : 10.1145/1368088.1368157

J. A. Martìn and E. Pimentel, Automatic Generation of Adaptation Contracts, Proceedings of FOCLASA, 2008.
DOI : 10.1016/j.entcs.2009.06.032

K. Meinke, Automated Black-box Testing of Functional Correctness using Function Approximation

M. Pradella, A. Morzenti, and P. S. Pietro, The symmetry of the past and of the future, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering , ESEC-FSE '07, pp.312-320, 2007.
DOI : 10.1145/1287624.1287669

M. Pradella, A. Morzenti, and P. S. Pietro, Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.119-127, 2008.
DOI : 10.1109/ASE.2008.22
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.569.3417

M. Utting and B. Legeard, Practical Model-Based Testing - A Tools Approach, 2006.

W. M. Van-der-aalst and A. H. Ter-hofstede, YAWL: yet another workflow language, Information Systems, vol.30, issue.4, pp.245-275, 2005.
DOI : 10.1016/j.is.2004.02.002

K. Verma, K. Gomadam, A. Sheth, J. Miller, and Z. Wu, The meteor-s approach for configuring and executing dynamic web processes, 2005.

A. Wasylkowski and A. Zeller, Mining Operational Preconditions

A. Wasylkowski, A. Zeller, and C. Lindig, Detecting object usage anomalies, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering , ESEC-FSE '07, pp.35-44, 2007.
DOI : 10.1145/1287624.1287632