B. Beizer, Software Testing Techniques, 1990.

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

A. Bertolino, F. Corradini, P. Inverardi, and E. 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 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

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

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

D. Clarke, T. Jéron, V. Rusu, and E. 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), pp.470-475, 2002.
DOI : 10.1007/3-540-46002-0_34

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, ROSATEA'98, pp.73-77, 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

P. Inverardi, A. L. Et, and . 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

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

E. Leroux, F. Oquendo, and E. Q. Xiong, Validation de systèmes en utilisant l'architecture logicielle : l'approche fondée sur le test, 7ème Conférence francophone sur les architectures logicielles, CAL'13, p.pp. ?, 2013.

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

I. Malavolta, P. Lago, H. Muccini, P. Pelliccione, and E. 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

N. Medvidovic, R. N. Et, and . 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

H. Muccini, A. Bertolino, and E. 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. Dias, and E. D. Richardson, Towards software architecture-based regression testing, Workshop on Architecting Dependable Systems (WADS) of ICSE'05, pp.1-7, 2005.

H. Muccini, M. Dias, and E. D. Richardson, Towards software architecture-based regression testing, 2005.

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

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

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

Z. Qayyum, F. Et, and . 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

D. J. Richardson, A. L. Et, and . 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

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.

D. Sangiorgi, Expressing Mobility in Process Algebras : First-Order and Higher- Order Paradigms, 1992.

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

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

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

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

G. J. Tretmans, A Formal Approach to Conformance Testing, 1992.

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