F. Aarts, F. Heidarian, H. Kuppens, P. Olsen, and F. Vaandrager, Automata Learning through Counterexample Guided Abstraction Refinement, FM 2012: Formal Methods, volume LNCS 7436, pp.10-27, 2012.
DOI : 10.1007/978-3-642-32759-9_4

F. Aarts, H. Kuppens, J. Tretmans, F. Vaandrager, and S. Verwer, Improving active Mealy machine learning for protocol conformance testing, Machine Learning, pp.189-224, 2014.
DOI : 10.1007/s10994-013-5405-0

R. Alur, P. Cern´ycern´y, P. Madhusudan, and W. Nam, Synthesis of interface specifications for java classes, SIGPLAN Not, vol.40, issue.1, 2005.

M. Autili, D. Di-ruscio, A. Di-salle, P. Inverardi, and M. Tivoli, A Model-Based Synthesis Process for Choreography Realizability Enforcement, Proc. of FASE'13, pp.37-52, 2013.
DOI : 10.1007/978-3-642-37057-1_4
URL : https://hal.archives-ouvertes.fr/hal-00866622

M. Autili, D. Di-ruscio, P. Inverardi, P. Pelliccione, and M. Tivoli, Modelland: Where do models come from? In Models@run.time, p.8378, 2014.
DOI : 10.1007/978-3-319-08915-7_6

M. Autili, A. D. Salle, and M. Tivoli, Synthesis of Resilient Choreographies, Software Engineering for Resilient Systems, pp.94-108, 2013.
DOI : 10.1007/978-3-642-40894-6_8
URL : https://hal.archives-ouvertes.fr/hal-00866633

M. Autili, P. Inverardi, and M. Tivoli, Automated Synthesis of Service Choreographies, IEEE Software, vol.32, issue.1, p.2015
DOI : 10.1109/MS.2014.131

M. Autili, D. D. Ruscio, A. D. Salle, and A. Perucci, CHOReOSynt: enforcing choreography realizability in the future internet, Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, 2014.
DOI : 10.1145/2635868.2661667

M. Autili and M. Tivoli, Distributed Enforcement of Service Choreographies, Proc. of FOCLASA'14, 2014.
DOI : 10.4204/EPTCS.175.2
URL : https://hal.archives-ouvertes.fr/hal-00866629

T. Berg, B. Jonsson, and H. Raffelt, Regular Inference for State Machines Using Domains with Equality Tests, Proc. of FASE'08, p.4961, 2008.
DOI : 10.1007/978-3-540-78743-3_24
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.468.8833

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, 2009.
DOI : 10.1145/1595696.1595719
URL : https://hal.archives-ouvertes.fr/inria-00415421

S. Ceri, D. Braga, F. Corcoglioniti, M. Grossniklaus, and S. Vadacca, Search Computing Challenges and Directions, Objects and Databases, pp.1-5, 2010.
DOI : 10.1007/978-3-642-16092-9_1
URL : http://nbn-resolving.de/urn:nbn:de:bsz:352-252668

V. Dallmeier, N. Knopp, C. Mallon, G. Fraser, S. Hack et al., Automatically generating test cases for specification mining. Software Engineering, IEEE Transactions on, vol.38, issue.2, pp.243-257, 2012.
DOI : 10.1109/tse.2011.105

D. Di-ruscio, I. Malavolta, H. Muccini, P. Pelliccione, and A. Pierantonio, Modeldriven techniques to enhance architectural languages interoperability, Proc. of FASE'12, pp.26-42, 2012.

D. Garlan, Software engineering in an uncertain world, Proceedings of the FSE/SDP workshop on Future of software engineering research, FoSER '10, pp.125-128, 2010.
DOI : 10.1145/1882362.1882389

C. Ghezzi, A. Mocci, and M. Monga, Synthesizing intensional behavior models by graph transformation, 2009 IEEE 31st International Conference on Software Engineering, pp.430-440, 2009.
DOI : 10.1109/ICSE.2009.5070542

M. Güdemann, G. Salaün, and M. Ouederni, Counterexample Guided Synthesis of Monitors for Realizability Enforcement, Automated Technology for Verification and Analysis, pp.238-253, 2012.
DOI : 10.1007/978-3-642-33386-6_20

R. Hilliard, I. Malavolta, H. Muccini, and P. Pelliccione, On the Composition and Reuse of Viewpoints across Architecture Frameworks, 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, pp.131-140, 2012.
DOI : 10.1109/WICSA-ECSA.212.21

D. H. Hu and Q. Yang, CIGAR: Concurrent and Interleaving Goal and Activity Recognition, Proc. of AAAI'08, pp.1363-1368, 2008.

H. Hungar, T. Margaria, and B. Steffen, Test-based model generation for legacy systems, Proc. of ITC'03, pp.150-159, 2003.
DOI : 10.1109/test.2003.1271205
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.7767

P. Inverardi, M. Autili, D. Di-ruscio, P. Pelliccione, and M. Tivoli, Producing software by integration: challenges and research directions (keynote), Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2013, pp.2-12, 2013.
DOI : 10.1145/2491411.2505428
URL : https://hal.archives-ouvertes.fr/hal-00866579

P. Inverardi, R. Spalazzese, and M. Tivoli, Application-Layer Connector Synthesis, SFM, 2011.
DOI : 10.1007/978-3-642-21455-4_5
URL : https://hal.archives-ouvertes.fr/inria-00620465

P. Inverardi and M. Tivoli, Automatic synthesis of modular connectors via composition of protocol mediation patterns, 2013 35th International Conference on Software Engineering (ICSE), 2013.
DOI : 10.1109/ICSE.2013.6606546

R. Kazhamiakin and M. Pistore, Analysis of Realizability Conditions for Web Service Choreographies, Proc. of FORTE'06, pp.61-76, 2006.
DOI : 10.1145/322374.322380

R. Kazhamiakin and M. Pistore, Choreography Conformance Analysis: Asynchronous Communications and Information Alignment, Web Services and Formal Methods, pp.227-241, 2006.
DOI : 10.1007/11841197_15

K. Krogmann, M. Kuperberg, and R. Reussner, Using genetic search for reverse engineering of parametric behavior models for performance prediction. Software Engineering, IEEE Transactions on, vol.36, issue.6, pp.865-877, 2010.

X. Li, Y. Fan, J. Wang, L. Wang, and F. Jiang, A Pattern-Based Approach to Development of Service Mediators for Protocol Mediation, Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008), pp.137-146, 2008.
DOI : 10.1109/WICSA.2008.13

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

R. Mateescu, P. Poizat, and G. Salaün, Adaptation of service protocols using process algebra and on-the-fly reduction techniques. Software Engineering, IEEE Transactions on, vol.38, issue.4, pp.755-777, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00717252

K. Meinke, Automated black-box testing of functional correctness using function approximation, Proc. of ISSTA'04, pp.143-153, 2004.

F. Paternó and C. Santoro, Preventing user errors by systematic analysis of deviations from the system task model, International Journal of Human-Computer Studies, vol.56, issue.2, pp.225-245, 2002.
DOI : 10.1006/ijhc.2001.0523

G. Santhanam, S. Basu, and V. Honavar, Tcpcompose a tcp-net based algorithm for efficient composition of web services using qualitative preferences, Service- Oriented Computing ICSOC, pp.453-467, 2008.

M. Trainotti, M. Pistore, G. Calabrese, G. Zacco, G. Lucchese et al., ASTRO: Supporting Composition and Execution of Web Services, ICSOC'05, pp.495-501, 2005.
DOI : 10.1007/11596141_39

A. Van-lamsweerde, Requirements Engineering -From System Goals to UML Models to Software Specifications, 2009.

A. Wasylkowski and A. Zeller, Mining Temporal Specifications from Object Usage, 2009 IEEE/ACM International Conference on Automated Software Engineering, pp.295-306, 2009.
DOI : 10.1109/ASE.2009.30

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

R. W. White and R. A. Roth, Exploratory Search: Beyond the Query-Response Paradigm. Synthesis Lectures on Information Concepts, Retrieval, and Services, 2009.