{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:26:34Z","timestamp":1742401594237,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213055"},{"type":"electronic","value":"9783540247210"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24721-0_22","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:15:12Z","timestamp":1280276112000},"page":"295-309","source":"Crossref","is-referenced-by-count":11,"title":["Systematic Testing of Software Architectures in the C2 Style"],"prefix":"10.1007","author":[{"given":"Henry","family":"Muccini","sequence":"first","affiliation":[]},{"given":"Marcio","family":"Dias","sequence":"additional","affiliation":[]},{"given":"Debra J.","family":"Richardson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"AGEDIS Project. Automated Generation and Execution of Test Suites for Distributed Component-based Software. On-line at: http:\/\/www.agedis.de\/index.shtml"},{"key":"22_CR2","unstructured":"The Argus-I project. University of California, Irvine. Information on-line at: http:\/\/www.ics.uci.edu\/~mdias\/research\/ArgusI"},{"issue":"6","key":"22_CR3","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1049\/sej.1991.0040","volume":"6","author":"G. Bernot","year":"1991","unstructured":"Bernot, G., Gaudel, M.C., Marre, B.: Software Testing Based on Formal Specifications: A Theory and a Tool. Software Engineering Journal\u00a06(6), 387\u2013405 (1991)","journal-title":"Software Engineering Journal"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Inverardi, P.: Architecture-based software testing. In: Proc. ISAW 1996 (October 1996)","DOI":"10.1145\/243327.243599"},{"key":"22_CR5","unstructured":"Bertolino, A.: Knowledge Area Description of Software Testing. In: SWEBOK: The Guide to the Software Engineering Body of Knowledge, Joint IEEE-ACM Soft. Eng."},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Inverardi, P., Muccini, H.: An Explorative Journey from Architectural Tests Definition downto Code Tets Execution. In: IEEE Proc. Int. Conf. on Software Engineering, ICSE 2001, May 2001, pp. 211\u2013220 (2001)","DOI":"10.1109\/ICSE.2001.919095"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-39800-4_7","volume-title":"Formal Methods for Software Architectures","author":"A. Bertolino","year":"2003","unstructured":"Bertolino, A., Inverardi, P., Muccini, H.: Formal Methods in Testing Software Architectures. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 124\u2013149. Springer, Heidelberg (2003)"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Bochmann, G.v., Petrenko, A.: Protocol Testing: Review of Methods and Relevance for Software Testing. In: ACM Proc. Int. Symposium on Software Testing and Analysis, ISSTA 1994, pp. 109\u2013124 (1994)","DOI":"10.1145\/186258.187153"},{"issue":"6","key":"22_CR9","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1109\/32.689403","volume":"24","author":"R.H. Carver","year":"1998","unstructured":"Carver, R.H., Tai, K.-C.: Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs. IEEE Trans. on Software Engineering\u00a024(6), 471\u2013490 (1998)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"22_CR10","unstructured":"The C2 Architectural Style. On-line at: http:\/\/www.ics.uci.edu\/pub\/arch\/c2.html"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Dashofy, E., van der Hoek, A., Taylor, R.N.: An Infrastructure for the Rapid Development of XML-Based Architecture Description Languages. In: Proceedings of the ICSE 2002 International Conference on Software Engineering (ICSE 2002), Orlando, Florida (May 2002)","DOI":"10.1145\/581372.581374"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/BFb0024651","volume-title":"FME \u201993: Industrial-Strength Formal Methods","author":"J. Dick","year":"1993","unstructured":"Dick, J., Faivre, A.: Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. In: Larsen, P.G., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol.\u00a0670, pp. 268\u2013284. Springer, Heidelberg (1993)"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Egyed, A.: A Scenario-Driven Approach to Traceability. In: IEEE Proc. Int. Conf. on Software Engineering (ICSE 2001), May 2001, pp. 123\u2013132 (2001)","DOI":"10.1109\/ICSE.2001.919087"},{"key":"22_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1007\/3-540-61474-5_82","volume-title":"Computer Aided Verification","author":"J.-C. Fernandez","year":"1996","unstructured":"Fernandez, J.-C., Jard, C., Jeron, T., Nedelka, L., Viho, C.: Using On-the-fly Verification Techniques for the Generation of Test Suites. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 348\u2013359. Springer, Heidelberg (1996)"},{"key":"22_CR15","series-title":"Encyclopedia of Software Engineering","volume-title":"Software Architecture","author":"D. Garlan","year":"2001","unstructured":"Garlan, D.: Software Architecture. Encyclopedia of Software Engineering. John Wiley & Sons Inc., Chichester (2001)"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Harrold, M.J.: Testing: A Roadmap. In: Finkelstein, A. (ed.) ACM ICSE 2000, The Future of Software Engineering, pp. 61\u201372 (2000)","DOI":"10.1145\/336512.336532"},{"key":"22_CR17","unstructured":"Labelled Transition System Analyzer (LTSA). On-line at: http:\/\/www-dse.doc.ic.ac.uk\/~jnm\/book\/"},{"key":"22_CR18","volume-title":"Concurrency: State models & java programs","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency: State models & java programs, April 1999. Wiley, Chichester (1999)"},{"key":"22_CR19","unstructured":"Medvidovic, N.: Formal definition of the Chiron-2 software architectural style. Technical Report UCI-ICS-95-24, Department of Information and Computer Science, University of California, Irvine (August 1995)"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Taylor, R.N.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Engineering\u00a026(1) (January 2000)","DOI":"10.1109\/32.825767"},{"key":"22_CR21","unstructured":"Monroe, R.T.: Rapid Development of Custom Software Architecture Design Environments, Ph.D. Thesis, Carnegie Mellon University (1999)"},{"key":"22_CR22","unstructured":"Muccini, H., Dias, M., Richardson, D.: Software Architecture-based Conformance and Regression Testing - documents. On-line at: http:\/\/www.HenryMuccini.com\/Research\/ICSE04_Submitted.htm"},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Muccini, H., Dias, M., Richardson, D.: Systematic Testing of Software Architectures in the C2 style. Extended version of the ETAPS 2004 publication. On-line at: http:\/\/www.HenryMuccini.com\/Research\/ETAPS04.htm","DOI":"10.1007\/978-3-540-24721-0_22"},{"issue":"6","key":"22_CR24","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"T.J. Ostrand","year":"1988","unstructured":"Ostrand, T.J., Balcer, M.J.: The Category-Partition Method for Specifying and Generating Functional Tests. Communications of the ACM\u00a031(6), 676\u2013686 (1988)","journal-title":"Communications of the ACM"},{"key":"22_CR25","unstructured":"Papapetrou, O., Stavrou, A., Papadopoulos, G.A.: From Software Architectures to Coordination Programming: Bridging the Gap Between Architecture Specification and System Implementation (submitted for publication)"},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"Richardson, J., Wolf, A.L.: Software testing at the architectural level. In: ISAW- 2 in Joint Proc. of the ACM SIGSOFT 1996 Workshops, pp. 68\u201371 (1996)","DOI":"10.1145\/243327.243605"},{"key":"22_CR27","unstructured":"Richardson, J., Stafford, J., Wolf, A.L.: A Formal Approach to Architecture-based Software Testing. Technical Report, University of California, Irvine (1998)"},{"key":"22_CR28","unstructured":"Straw 2001. First Int. Workshop From Software Requirements to Architectures (STRAW 2001), Toronto, Canada, May 14 (2001)"},{"key":"22_CR29","doi-asserted-by":"crossref","unstructured":"Taylor, R.N., Medvidovic, N., Anderson, K.M., Whitehead Jr., E.J., Robbins, J.E., Nies, K.A., Oreizy, P., Dubrow, D.L.: A Component- and Message-Based Architectural Style for GUI Software. IEEE Transactions on Software Engineering (June 1996)","DOI":"10.1109\/32.508313"},{"key":"22_CR30","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0169-7552(96)00017-7","volume":"29","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Conformance Testing with Labeled Transition Systems: Implementation Relations and Test Generation. Computer Networks and ISDN Systems\u00a029, 49\u201379 (1996)","journal-title":"Computer Networks and ISDN Systems"},{"key":"22_CR31","unstructured":"Watson, H., McCabe, T.J.: Structured Testing: A Testing Methodology Using the Cyclomatic Complexity Metric. NIST Special Publication 500-235 (August 1996)"},{"key":"22_CR32","unstructured":"Young, M.: Testing Complex Architectural Conformance Relations. In: Proc. Int. Workshop on the ROle of Software Architecture in TEsting and Analysis (ROSATEA), CNR-NSF, July 1998, pp. 42\u201345 (1998)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24721-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T12:31:48Z","timestamp":1740313908000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24721-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213055","9783540247210"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24721-0_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}