- 1.R. Allen and D. Garlan. A Formal Approach to Software Architectures. In Proceedings of the IFIP Congress. Elsevier, September 1992. Google ScholarDigital Library
- 2.R. Allen'and D. Garlan. Formalizing Architectural Connection. In Proceedings of the i6th International Conference on Software Engineering, pages 71-80. IEEE Computer Society, May 1994. Google ScholarDigital Library
- 3.W. Tichy D. Gadan and F. Paulisch. Dagsthul Seminar on Software Architectures. Technical Report Dagsthul- Report-9508, February 1995. .Google Scholar
- 4.W. Tichy D. Garlan and F. Paul&h. Summary of the Dagsthul Workshop on Software Architecture. SIG- SOFT Software Engineering Notes, July 1995. Google ScholarDigital Library
- 5.R.L. Nord D. Soni and C. Hofmeister. Software Architecure in Industrial Applications. In Proceedings of the 17th International Conference on Software Engineering, pages 196-210. IEEE Computer Society, April 1995. Google ScholarDigital Library
- 6.R. Johnson E. Gamma, R. Helm and J. Vlissides. Design Patterns: Micro ,Architectures for Reusable Object Oriented Design. Addison-Wesley, Reading, Ma+ sachusetts, 1994.Google Scholar
- 7.D. Garlan Editor. ICSEl7-Workshop on Software'Architectures. In Proceedings of the 17th International Conference on Software Engineering. IEEE Computer Society, April 1995.Google Scholar
- 8.D. Garlan and D.E. Perry. Special Issue on Software Architectures. IEEE ill-ansactions on Software Engineering, 21(4), April 1995. Google ScholarDigital Library
- 9.D. Garlan and M. Shaw. An Introduction on Software Architecture. In Advances in Software Engineering and Knobledge Engineering. World Scientific, 1993.Google ScholarCross Ref
- 10.P. Inverardi and A.L. Wolf. Formal Specifications and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE 'Bansactions on Software Engineering, 21(4):100-114, April 1995. Google ScholarDigital Library
- 11.P. Inverardi and D. Yankelevich. Relating CHAM descriptions of Software Architectures. IEEE Proc. IWSSD-8, March 1996, Padeborn. Google ScholarDigital Library
- 12.D. Compare and P. Inverardi. Modelling Interoperability by CHAM: A case study. In Proceeding of the First International Conference on Coordination Models, Languages and Applications , Lecture Notes in Computer ' Science 1023, Springer-Verlag. Google ScholarDigital Library
- 13.D. Compare, P. Inverardi and A. Wolf. Uncovering Architecturai Mismatch in Dynamic Behavior. Internal Report, University of L'Aquila, June 1996.Google Scholar
- 14.A. Bertolino and M. Mar& Automatic Generation of Test Path Sets based on the Flow Analysis of Computer Programs. IEEE Transactions on Software Engineering, 20(12): 885-899, December 1994. Google ScholarDigital Library
- 15.M. Marre and A. Bertolino. Reducing and estimating the cost of test coverage criteria. Proc. ACM/IEEE Int. Conf. Software Eng. ICSE-18, pp. 486-494, Berlin, Germany, March 1996. Google ScholarDigital Library
- 16.W. Tracz. Test and Analysis of Software Architectures. Proc. of the ACM International Symposium on Software Testing and Analysis (ISSTA'96), January 1996, S. Diego. Google ScholarDigital Library
Index Terms
- Architecture-based software testing
Recommendations
Rethinking Software Testing Based on Software Architecture
SKG '11: Proceedings of the 2011 Seventh International Conference on Semantics, Knowledge and GridsSoftware architectural design is of vital importance to software system, which not only embodies in software development, but also effectively guides software testing. However, a wide gap exists between the technologies for software testing and the ...
Model Based Testing Using Software Architecture
ITNG '10: Proceedings of the 2010 Seventh International Conference on Information Technology: New GenerationsSoftware testing is an ultimate obstacle to the final release of software products. Software testing is also a leading cost factor in the overall construction of software products. On the one hand, model-based testing methods are new testing techniques ...
Comments