S. Shaw and D. Garlan, Software Architecture: Perspectives on an Emerging Discipline, 1996.

N. Medvidovic and R. N. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077

I. Malavolta, P. Lago, H. Muccini, P. Pelliccione, and A. Tang, What Industry Needs from Architectural Languages: A Survey, IEEE Transactions on Software Engineering, vol.39, issue.6, pp.869-891, 2013.
DOI : 10.1109/TSE.2012.74

F. Oquendo, ??-ADL, ACM SIGSOFT Software Engineering Notes, vol.29, issue.3, pp.1-14, 2004.
DOI : 10.1145/986710.986728

G. Myers, The Art of Software Testing, 1979.
DOI : 10.1002/9781119202486

D. J. Richardson and A. L. Wolf, Software testing at the architectural level, Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops -, pp.68-71, 1996.
DOI : 10.1145/243327.243605

A. Bertolino and P. Inverardi, Architecture-based software testing, Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops -, pp.62-64, 1996.
DOI : 10.1145/243327.243599

J. A. Stafford, D. J. Richardson, and A. L. Wolf, Chaining: A software architecture dependence analysis technique, 1997.

M. J. Harrold, Architecture-based regression testing of evolving systems, Proc. of the Int. Workshop on the Role of Software Architecture In Testing and Analysis, ser. ROSATEA'98, pp.73-77, 1998.

Z. Jin and J. Offutt, Deriving tests from software architectures, Proc. of the IEEE Int. Symposium on Software Reliability Engineering, ser. ICSE'01, pp.308-313, 2001.

A. Bertolino, P. Inverardi, and H. Muccini, Formal Methods in Testing Software Architectures, SFM, pp.122-147, 2003.
DOI : 10.1007/978-3-540-39800-4_7

]. H. Muccini, A. Bertolino, and P. Inverardi, Using software architecture for code testing, IEEE Transactions on Software Engineering, vol.30, issue.3, pp.160-171, 2004.
DOI : 10.1109/TSE.2004.1271170

H. Muccini, M. S. Dias, and D. J. Richardson, Reasoning About Software Architecture-Based Regression Testing Through a Case Study, 29th Annual International Computer Software and Applications Conference (COMPSAC'05), pp.189-195, 2005.
DOI : 10.1109/COMPSAC.2005.127

B. Beizer, Software Testing Techniques, 1990.

G. J. Tretmans, A formal approach to conformance testing, 1992.

D. Sangiorgi, Expressing mobility in process algebras: Firstorder and higher-order paradigms, 1992.

D. Clarke, T. Jéron, V. Rusu, and E. Zinovieva, STG: A Symbolic Test Generation Tool, Proc. of the 8th Int. Conf. on Tools and Algorithms for the Construction and Analysis of System (TACAS'02), ser. LNCS, pp.470-475, 2002.
DOI : 10.1007/3-540-46002-0_34

F. Ployette and F. Ponscarme, The STG tool page, 2007.

E. Zinovieva-leroux, Symbolic methods in test generation for reactive systems with data, 2004.

Z. Qayyum and F. Oquendo, The ?-adl.net project: an inclusive approach to adl compiler design, WSEAS Transactions on Computers, vol.7, issue.5, pp.414-423, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00514789

P. Inverardi and A. L. Wolf, Formal specification and analysis of software architectures using the chemical abstract machine model, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.373-386, 1995.
DOI : 10.1109/32.385973

J. Magee, J. Kramer, R. Chatley, S. Uchitel, and H. Foster, Ltsa -labelled transition system analyser, 2009.

A. Bertolino, F. Corradini, P. Inverardi, and H. Muccini, Deriving test plans from architectural descriptions, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.220-229, 2000.
DOI : 10.1145/337180.337205

A. Bertolino, P. Inverardi, and H. Muccini, An explorative journey from architectural tests definition downto code tets execution, Proc. of IEEE Int. Symposium on Software Reliability Engineering, ser. ICSE'01, pp.211-220, 2001.

W. Tracz, Test and analysis of software architectures, Proc. of the 1996 ACM SIGSOFT Int. Symposium on Software Testing and Analysis, ser. ISSTA'96, pp.1-3, 1996.

J. Stafford, D. Richardson, and A. Wolf, Aladdin: A tool for architecture-level dependence analysis of software systems, 1998.

D. Rosenblum, Challenges in exploiting architectural models for software testing, Proc. of the Int. Workshop on the Role of Software Architecture in Testing and Analysis, pp.49-53, 1998.

M. J. Harrold, Testing, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.61-72, 2000.
DOI : 10.1145/336512.336532

H. Muccini, M. Dias, and D. Richardson, Towards software architecture-based regression testing, Workshop on Architecting Dependable Systems (WADS), ser. ICSE'05, pp.1-7, 2005.
DOI : 10.1145/1083217.1083223
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.461.6017

A. Bertolino, Software Testing Research: Achievements, Challenges, Dreams, Future of Software Engineering (FOSE '07), pp.85-103, 2007.
DOI : 10.1109/FOSE.2007.25
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.2507