B. Beizer, Software Testing Techniques, 1990.

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 and P. Inverardi, Architecture-based software testing In 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.

A. Bertolino, P. Inverardi, and H. Muccini, Deriving tests from software architectures, Twelfth IEEE International Symposium on Software Reliability Engineering, ICSE'01, pp.308-313, 2001.

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

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

D. Clarke, T. Jéron, V. Rusu, and E. Zinovieva, STG: A Symbolic Test Generation Tool, The 8th International Conference 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, Iiternational Workshop on the Role of Software Architecture In Testing and AnalysisROSATEA'98), pp.73-77, 1998.

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

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

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, Pi-adl : an architecture description language based on the higher-order typed pi-calculus for specifying dynamic and mobile software architectures, SIGSOFT Softw. Eng. Notes, pp.1-14, 2004.

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

Z. Qayyum and F. Oquendo, The pi-adl.net project : an inclusive approach to adl compiler design, WSEAS Transactions on Computers, vol.7, issue.5, pp.414-423, 2008.

D. J. Richardson and A. L. Wolf, Software testing at the architectural level In 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.

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

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

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

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

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