Title :
Architecture-Based Testing and System Validation - Workshop Summary
Author :
Tekinerdogan, Bedir ; Clements, Paul ; Muccini, Henry ; Chaudron, Michel ; Polini, Andrea ; Woods, Eoin
Author_Institution :
Bilkent Univ., Ankara, Turkey
Abstract :
This paper summarizes the workshop on Architecture-Based Testing and System Validation which was organized in conjunction with the 9th Working IEEE/IFIP Conference on Software Architecture. The main goal of the workshop was to bring together researchers and practitioners both from the architecture design and software testing community to enable architecture-based software testing.
Keywords :
formal verification; program testing; software architecture; architecture-based software testing; software architecture; system validation; Analytical models; Computer architecture; Conferences; Software architecture; Software systems; Software testing; Architecture-Based Testing; Software Architecture; Software Testing; System Validation; component;
Conference_Titel :
Software Architecture (WICSA), 2011 9th Working IEEE/IFIP Conference on
Conference_Location :
Boulder, CO
Print_ISBN :
978-1-61284-399-5
Electronic_ISBN :
978-0-7695-4351-2
DOI :
10.1109/WICSA.2011.53
