Shangzhu Wang, George S. Avrunin, Lori A. Clarke. Verification support for plug-and-play architectural design. In Robert M. Hierons, Henry Muccini, editors, Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), ROSATEA 2006, Portland, Maine, USA, July 17-20, 200. pages 49-50, ACM, 2006. [doi]
Abstract is missing.