C. Bartolini, A. Bertolino, E. Marchetti, and A. Polini, WS-TAXI: A WSDL-based Testing Tool for Web Services, 2009 International Conference on Software Testing Verification and Validation, 2009.
DOI : 10.1109/ICST.2009.28

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. Brogi and R. Popescu, Automated Generation of BPEL Adapters, ICSOC 2006, 2006.
DOI : 10.1007/11948148_3

D. Calvanese, G. D. Giacomo, M. Lenzerini, M. Mecella, and F. Patrizi, Automatic Service Composition and Synthesis: the Roman Model, IEEE Data Eng. Bull, vol.31, issue.3, pp.18-22, 2008.

C. Ghezzi, A. Mocci, and M. Monga, Synthesizing Intentional Behavior Models by Graph Transformation, 2009.
DOI : 10.1109/icse.2009.5070542

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

A. Marconi, M. Pistore, and P. Traverso, Automated Composition of Web Services: the ASTRO Approach, IEEE Data Eng. Bull, vol.31, issue.3, pp.23-26, 2008.

K. Meinke, Automated black-box testing of functional correctness using function approximation, ACM SIGSOFT Software Engineering Notes, vol.29, issue.4, pp.143-153, 2004.
DOI : 10.1145/1013886.1007532

T. Melliti, P. Poizat, and S. B. Mokhtar, Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services, FASE 2008
DOI : 10.1007/978-3-540-78743-3_12
URL : https://hal.archives-ouvertes.fr/hal-00340490

J. Pathak, S. Basu, R. R. Lutz, and V. Honavar, MoSCoE: AN APPROACH FOR COMPOSING WEB SERVICES THROUGH ITERATIVE REFORMULATION OF FUNCTIONAL SPECIFICATIONS, International Journal on Artificial Intelligence Tools, vol.17, issue.01, pp.109-138, 2008.
DOI : 10.1142/S0218213008003807

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

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.114.4721