{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:11:15Z","timestamp":1725574275713},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540200833"},{"type":"electronic","value":"9783540398004"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39800-4_7","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T00:54:22Z","timestamp":1294361662000},"page":"122-147","source":"Crossref","is-referenced-by-count":19,"title":["Formal Methods in Testing Software Architectures"],"prefix":"10.1007","author":[{"given":"Antonia","family":"Bertolino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henry","family":"Muccini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"The AGEDIS Project: Automated Generation and Execution of Test Suites for Distributed Component-based Software, On-line at \n                  \n                    http:\/\/www.agedis.de"},{"issue":"3","key":"7_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Trans. on Software Engineering and Methodology\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/3-540-45800-X_30","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"F. Basanieri","year":"2002","unstructured":"Basanieri, F., Bertolino, A., Marchetti, E.: The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 383\u2013397. Springer, Heidelberg (2002)"},{"key":"7_CR4","volume-title":"SEI Series in Software Engineering","author":"L. Bass","year":"1998","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. In: SEI Series in Software Engineering. Addison-Wesley, Reading (1998)"},{"key":"7_CR5","unstructured":"Bertolino, A.: Knowledge Area Description of Software Testing. In: SWEBOK, Joint IEEE-ACM Software Engineering Coordinating Committee, On-line at: \n                  \n                    http:\/\/www.swebok.org"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-36498-6_1","volume-title":"Abstract State Machines 2003. Advances in Theory and Practice","author":"A. Bertolino","year":"2003","unstructured":"Bertolino, A.: Software Testing Research and Practice. In: B\u00f6rger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol.\u00a02589, pp. 1\u201321. Springer, Heidelberg (2003)"},{"key":"7_CR7","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":"7_CR8","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Corradini, F., Inverardi, P., Muccini, H.: Deriving Test Plans from Architectural Descriptions. In: ACM Proc. Int. Conf. on Software Engineering (ICSE 2000), June 2000, pp. 220\u2013229 (2000)","DOI":"10.1145\/337180.337205"},{"key":"7_CR9","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"},{"issue":"1","key":"7_CR10","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/s10270-002-0004-8","volume":"1","author":"L. Briand","year":"2002","unstructured":"Briand, L., Labiche, Y.: A UML-Based Approach to System Testing. Software and System Modeling\u00a01(1), 10\u201342 (2002)","journal-title":"Software and System Modeling"},{"key":"7_CR11","unstructured":"The C2 style and ADL, Project web page on-line at: \n                  \n                    http:\/\/www.isr.uci.edu\/architecture\/c2.html"},{"key":"7_CR12","unstructured":"The C2 Framework, On-line at: \n                  \n                    http:\/\/www.isr.uci.edu\/architecture\/software.html"},{"key":"7_CR13","unstructured":"Caesar\/Aldebaran Tool (CADP), On-line at: \n                  \n                    http:\/\/inrialpes.fr\/vasy\/cadp"},{"issue":"6","key":"7_CR14","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":"7_CR15","unstructured":"Conallen, J.: Building Web Applications with UML. The Addison-Wesley Object Technology Series"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Dashofy, E.M., van der Hoek, A., Taylor, R.N.: An Infrastructure for the Rapid Development of XML-Based Architecture Description Languages. In: Proc. of the 24th Int. Conf. on Software Engineering (2002)","DOI":"10.1145\/581372.581374"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"De Nicola, R., Hennessy, M.: Testing Equivalences for Processes. Theoretical Computer Science\u00a034, 83\u2013133 (1984)","journal-title":"Theoretical Computer Science"},{"key":"7_CR18","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":"7_CR19","unstructured":"FC2Tools, On-line at: \n                  \n                    http:\/\/www-sop.inria.fr\/meije\/verification\/quick-guide.html"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0167-6423(96)00032-9","volume":"29","author":"J.-C. Fernandez","year":"1997","unstructured":"Fernandez, J.-C., Jard, C., Jeron, T., Nedelka, L., Viho, C.: An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. Special Issue of Science of Computer Programming\u00a029, 123\u2013146 (1997)","journal-title":"Special Issue of Science of Computer Programming"},{"key":"7_CR21","unstructured":"Finite State Process (FSP), On-line at: \n                  \n                    http:\/\/www.dse.doc\/ic.ac.uk\/~jnm\/book\/ltsa\/Appendix-A.html"},{"key":"7_CR22","unstructured":"Harrold, M.J.: Architecture-Based Regression Testing of Evolving Systems. In: Proc. Int. Workshop on the ROle of Software Architecture in TEsting and Analysis (ROSATEA), CNR-NSF, pp. 73\u201377 (July 1998)"},{"key":"7_CR23","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":"7_CR24","volume-title":"Applied Software Architecture","author":"C. Hofmeister","year":"1999","unstructured":"Hofmeister, C., Nord, R.L., Soni, D.: Applied Software Architecture. Addison-Wesley, Reading (1999)"},{"issue":"4","key":"7_CR25","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/32.385973","volume":"21","author":"P. Inverardi","year":"1995","unstructured":"Inverardi, P., Wolf, A.L.: Formal Specifications and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Trans. on Software Engineering\u00a021(4), 100\u2013114 (1995)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"7_CR26","unstructured":"Inverardi, P., Tivoli, M., Bucchiarone, A.: Coordinators synthesis for COTS group-ware systems: an example. In: Proc. Int. Workshop on Distributed and Mobile Collaboration, 2003 (DMC 2003). Extended version as technical Report, University of LAquila, Department of Computer Science (March 2003), \n                  \n                    http:\/\/www.di.univaq.it\/tivoli\/cscw_techrep.pdf"},{"key":"7_CR27","series-title":"Object Technology Series","volume-title":"The Unified Software Development Process","author":"I. Jacobson","year":"1999","unstructured":"Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Object Technology Series. Addison Wesley, Reading (1999)"},{"key":"7_CR28","unstructured":"Jard, C., J\u00e9ron, T.: TGV: Theory, Principles and Algorithms. In: Proc. Conf. IDPT 2002, Pasadena, USA (2002)"},{"key":"7_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1007\/3-540-45800-X_32","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"J. Jrjens","year":"2002","unstructured":"Jrjens, J.: UMLsec: Extending UML for Secure Systems Development. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, p. 412. Springer, Heidelberg (2002)"},{"issue":"6","key":"7_CR30","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/52.469759","volume":"12","author":"P. Kruchten","year":"1995","unstructured":"Kruchten, P.: Architectural Blueprints - The \u201c4+1\u201d View Model of Software Architecture. IEEE Software\u00a012(6), 42\u201350 (1995)","journal-title":"IEEE Software"},{"key":"7_CR31","unstructured":"Labelled Transition System Analyzer (LTSA), On-line at: \n                  \n                    http:\/\/www-dse.doc.ic.ac.uk\/~jnm\/book\/"},{"key":"7_CR32","volume-title":"Collaborative writing in industry: Investigations in theory and practice","author":"M. Lay","year":"1991","unstructured":"Lay, M., Karis, M.: Collaborative writing in industry: Investigations in theory and practice. Baywood Publishing Company, Amityville (1991)"},{"issue":"4","key":"7_CR33","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"D.C. Luckham","year":"1995","unstructured":"Luckham, D.C., Kenney, J.J., Augustin, L.M., Vera, J., Bryan, D., Mann, W.: Specification and Analysis of System Architecture Using Rapide. IEEE Trans. on Software Engineering, Special Issue on Software Architecture\u00a021(4), 336\u2013355 (1995)","journal-title":"IEEE Trans. on Software Engineering, Special Issue on Software Architecture"},{"key":"7_CR34","volume-title":"Concurrency: State Models & Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models & Java Programs. Wiley, Chichester (April 1999)"},{"key":"7_CR35","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Rosenblum, D.S., Redmiles, D.F., Robbins, J.E.: Modeling software architectures in the Unified Modeling Language. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a011(1) (January 2002)","DOI":"10.1145\/504087.504088"},{"key":"7_CR36","series-title":"International Series on Computer Science","volume-title":"Communication on Concurrences","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication on Concurrences. International Series on Computer Science. Prentice Hall International, Englewood Cliffs (1989)"},{"key":"7_CR37","unstructured":"Muccini, H.: Software Architecture for Testing, Coordination Models and Views Model Checking. PhD thesis, University of L\u2019Aquila, year (2002), On-line at: \n                  \n                    http:\/\/www.HenryMuccini.com\/publications.htm"},{"key":"7_CR38","unstructured":"Muccini, H., Bertolino, A., Inverardi, P.: Using Software Architecture for Code Testing Submitted for publication"},{"key":"7_CR39","unstructured":"Muccini, H., Bertolino, A., Inverardi, P.: Using Software Architecture for Code Testing. Long version of [38], On-line at \n                  \n                    http:\/\/www.HenryMuccini.com\/publications.htm"},{"key":"7_CR40","doi-asserted-by":"crossref","unstructured":"Richardson, D.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":"7_CR41","unstructured":"Richardson, D.J., Stafford, J., Wolf, A.L.: A Formal Approach to Architecturebased Software Testing. Technical Report, University of California, Irvine (1998)"},{"key":"7_CR42","unstructured":"TorX Test Tool Information, \n                  \n                    http:\/\/fmt.cs.utwente.nl\/tools\/torx\/introduction.html"},{"issue":"3","key":"7_CR43","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software\u2013Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software\u2013Concepts and Tools"},{"key":"7_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-48320-9_6","volume-title":"CONCUR\u201999. Concurrency Theory","author":"J. Tretmans","year":"1999","unstructured":"Tretmans, J.: Testing Concurrent Systems: A Formal Approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 46\u201365. Springer, Heidelberg (1999)"},{"key":"7_CR45","unstructured":"UML. Object Management Group: OMG Unified Modeling Language (UML), V1.4 (2001), \n                  \n                    http:\/\/www.omg.org"},{"key":"7_CR46","unstructured":"de Vries, R.G., Tretmans, J.: Towards Formal Test Purposes. In: Proc. FATES 2001, Aalborg, Denmark (2001)"},{"key":"7_CR47","unstructured":"Watson, A.H., McCabe, T.J.: Structured Testing: A Testing Methodology Using the Cyclomatic Complexity Metric. NIST Special Publication 500-235 (August 1996)"},{"key":"7_CR48","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, pp. 42\u201345 (July 1998)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Software Architectures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39800-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T09:28:20Z","timestamp":1553333300000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39800-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540200833","9783540398004"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39800-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}