{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T11:00:03Z","timestamp":1780657203214,"version":"3.54.1"},"reference-count":79,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2013,7,26]],"date-time":"2013-07-26T00:00:00Z","timestamp":1374796800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1007\/s00607-013-0338-9","type":"journal-article","created":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T15:11:44Z","timestamp":1374765104000},"page":"633-648","source":"Crossref","is-referenced-by-count":23,"title":["Software architecture-based analysis and testing: a look into achievements and future challenges"],"prefix":"10.1007","volume":"95","author":[{"given":"Antonia","family":"Bertolino","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Henry","family":"Muccini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,7,26]]},"reference":[{"key":"338_CR1","unstructured":"IEEE Standard Computer Dictionary (1991) A compilation of IEEE standard computer glossaries. IEEE Std 610"},{"key":"338_CR2","unstructured":"AutoFOCUS 3. Autofocus project. http:\/\/autofocus.in.tum.de\/index.php\/Main_Page , last visit: 2013"},{"key":"338_CR3","doi-asserted-by":"crossref","unstructured":"Abi-Antoun M, Aldrich J, Garlan D, Schmerl B, Nahas N, Tseng T (2005) Improving system dependability by enforcing architectural intent. In: Proceedings of the 2005 workshop on architecting dependable systems, WADS \u201905. ACM , New York, pp 1\u20137","DOI":"10.1145\/1083217.1083218"},{"key":"338_CR4","doi-asserted-by":"crossref","unstructured":"Allen R, Garlan D (1997) A formal basis for architectural connection. ACM Trans Softw Eng Methodol 6(3):213\u2013249","DOI":"10.1145\/258077.258078"},{"key":"338_CR5","doi-asserted-by":"crossref","unstructured":"Autili M, Cortellessa V, Di Ruscio D, Inverardi P, Pelliccione P, Tivoli M (2012) Integration architecture synthesis for taming uncertainty in the digital space. In: Calinescu R, David (eds) Monterey workshop, volume 7539 of Lecture Notes in Computer Science. Springer, Berlin, pp 118\u2013131","DOI":"10.1007\/978-3-642-34059-8_6"},{"key":"338_CR6","doi-asserted-by":"crossref","unstructured":"Avizienis A, Laprie J-C, Randell B, Landwehr CE (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Sec Comput 1(1):11\u201333","DOI":"10.1109\/TDSC.2004.2"},{"key":"338_CR7","doi-asserted-by":"crossref","unstructured":"Balsamo S, Inverardi P, Mangano C (1998) An approach to performance evaluation of software architectures. In: Proceedings of the 1st international workshop on software and performance, WOSP \u201998. ACM, New York, pp 178\u2013190","DOI":"10.1145\/287318.287354"},{"key":"338_CR8","doi-asserted-by":"crossref","unstructured":"Balsamo S, Di Marco A, Inverardi P, Simeoni M (2004) Model-based performance prediction in software development: A survey. IEEE Trans. Software Eng. 30(5):295\u2013310","DOI":"10.1109\/TSE.2004.9"},{"key":"338_CR9","unstructured":"Beder DM, Romanovsky A, Randell B, Rubira CMF (2001) On applying coordinated atomic actions and dependable software architectures in developing complex systems. 4th IEEE international symposium on object-oriented real-time distributed computing (ISORC\u201901), Magdeburg"},{"key":"338_CR10","doi-asserted-by":"crossref","unstructured":"Bertolino A, De Angelis G, Kellomaki S, Polini A (2012) Enhancing service federation trustworthiness through online testing. IEEE Computer 45(1):66\u201372","DOI":"10.1109\/MC.2011.227"},{"key":"338_CR11","doi-asserted-by":"crossref","unstructured":"Bertolino A, Corradini F, Inverardi P, Muccini H (2000) Deriving test plans from architectural descriptions. In: Ghezzi C, Jazayeri M, Wolf AL (eds) ICS. ACM, New York, pp 220\u2013229","DOI":"10.1145\/337180.337205"},{"key":"338_CR12","doi-asserted-by":"crossref","unstructured":"Bertolino A, Inverardi P (1996) Architecture-based software testing. In: Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints \u201996) on SIGSOFT \u201996 workshops, ISAW \u201996. ACM, New York, pp 62\u201364","DOI":"10.1145\/243327.243599"},{"key":"338_CR13","doi-asserted-by":"crossref","unstructured":"Bertolino A, Inverardi P, Muccini H (2001) An explorative journey from architectural tests definition downto code tests execution. In: M\u00fcller HA, Harrold MJ, Sch\u00e4fer W (eds) ICSE. IEEE Computer Society, pp 211\u2013220","DOI":"10.1109\/ICSE.2001.919095"},{"key":"338_CR14","doi-asserted-by":"crossref","unstructured":"Bertolino A, Inverardi P, Muccini H, Rosetti A (1997) An approach to integration testing based on architectural descriptions. ICECCS. IEEE Computer Society, p 77","DOI":"10.1109\/ICECCS.1997.622299"},{"key":"338_CR15","unstructured":"Bosch J (2000) Design and use of software architectures: adopting and evolving a product-line approach, 1st edn. Addison-Wesley Professional, Boston"},{"key":"338_CR16","doi-asserted-by":"crossref","unstructured":"Bose P (1999) Automated translation of UML models of architectures for verification and simulation using spin. In: Proceedings of 14th IEEE international conference on automated software engineering, Cocoa Beach, pp 102\u2013109","DOI":"10.1109\/ASE.1999.802135"},{"key":"338_CR17","doi-asserted-by":"crossref","unstructured":"Brito PH, Lemos R, Rubira CM (2008) Development of fault-tolerant software systems based on architectural abstractions. In: Proceedings of the 2nd European conference on software Architecture, ECSA \u201908. Springer, Berlin, pp 131\u2013147","DOI":"10.1007\/978-3-540-88030-1_11"},{"key":"338_CR18","doi-asserted-by":"crossref","unstructured":"Brito PHS, de Lemos R, Rubira CMF, Martins E (2009) Architecting fault tolerance with exception handling: verification and validation. J Comput Sci Technol 24(2):212\u2013237","DOI":"10.1007\/s11390-009-9219-2"},{"key":"338_CR19","doi-asserted-by":"crossref","unstructured":"Brosch F, Koziolek H, Buhnova B, Reussner R (2012) Architecture-based reliability prediction with the palladio component model. IEEE Trans Softw Eng 38(6):1319\u20131339","DOI":"10.1109\/TSE.2011.94"},{"key":"338_CR20","doi-asserted-by":"crossref","unstructured":"Burmester S, Holger G, Hirsch M, Schilling D, Tichy M (2005) The Fujaba real-time tool suite: model-driven development of safety-critical, real-time systems. In: International conference on software engineering, ICSE, pp 670\u2013671","DOI":"10.1145\/1062455.1062601"},{"key":"338_CR21","doi-asserted-by":"crossref","unstructured":"Cheung L, Roshandel R, Medvidovic N, Golubchik L (2008) Early prediction of software component reliability. In: Proceedings of the 30th international conference on software engineering, ICSE \u201908. ACM, New York, pp 111\u2013120","DOI":"10.1145\/1368088.1368104"},{"key":"338_CR22","doi-asserted-by":"crossref","unstructured":"Ciancarini P, Franz\u00e9 F, Mascolo C (2000) Using a coordination language to specify and analyze systems containing mobile components. ACM Trans Softw Eng Methodol 9(2):167\u2013198","DOI":"10.1145\/350887.350893"},{"key":"338_CR23","unstructured":"Clarke EM, Grumberg O, Peled DA (1999) Model checking. MIT press, Cambridge"},{"key":"338_CR24","unstructured":"Clements P, Bachmann F, Bass L, Garlan D, Ivers J, Little R, Merson P, Nord R, Stafford J (2010) Documenting software architectures: views and beyond, 2nd edn. Addison-Wesley Professional, Boston"},{"key":"338_CR25","doi-asserted-by":"crossref","unstructured":"Corradini F, Inverardi P, Wolf AL (2006) On relating functional specifications to architectural specifications: a case study. Sci Comput Program 59(3):171\u2013208","DOI":"10.1016\/j.scico.2005.04.003"},{"key":"338_CR26","doi-asserted-by":"crossref","unstructured":"da Brito PHS, Rocha CR, Filho FC, Martins E, Rubira CMF (2005) A method for modeling and testing exceptions in component-based software development. In: Proceedings of the second Latin-American conference on dependable computing, LADC\u201905. Springer, Berlin, pp 61\u201379","DOI":"10.1007\/11572329_8"},{"key":"338_CR27","doi-asserted-by":"crossref","unstructured":"Das O, Woodside CM (2004) Analyzing the effectiveness of fault-management architectures in layered distributed systems. Perform Eval 56(1\u20134):93\u2013120","DOI":"10.1016\/j.peva.2003.07.011"},{"key":"338_CR28","doi-asserted-by":"crossref","unstructured":"de Guerra PAC, Rubira CMF, Romanovsky A, de Lemos R (2004) A dependable architecture for cots-based software systems using protective wrappers. In: Lemos R, Gacek C, Romanovsky A (eds) Architecting dependable systems II, volume 3069 of Lecture Notes in Computer Science. Springer, Berlin, pp 144\u2013166","DOI":"10.1007\/978-3-540-25939-8_7"},{"key":"338_CR29","doi-asserted-by":"crossref","unstructured":"de Lemos R (2004) Analysing failure behaviours in component interaction. J Syst Softw 71(1\u20132):97\u2013115","DOI":"10.1016\/S0164-1212(02)00152-8"},{"key":"338_CR30","doi-asserted-by":"crossref","unstructured":"Dialani V, Miles S, Moreau L, De Roure D, Luck M (2002) Transparent fault tolerance for web services based architectures. In: Proceedings of the 8th international Euro-Par conference on parallel processing, Euro-Par \u201902. Springer, London, pp 889\u2013898","DOI":"10.1007\/3-540-45706-2_126"},{"key":"338_CR31","doi-asserted-by":"crossref","unstructured":"Dobrica L, Niemela E (July 2002) A survey on software architecture analysis methods. IEEE Trans Softw Eng 28(7):638\u2013653","DOI":"10.1109\/TSE.2002.1019479"},{"key":"338_CR32","doi-asserted-by":"crossref","unstructured":"Domokos P, Majzik I (2005) Design and analysis of fault tolerant architectures by model weaving. In: Proceedings of the ninth IEEE international symposium on high-assurance systems engineering, HASE \u201905. IEEE Computer Society, Washington, DC, pp 15\u201324","DOI":"10.1109\/HASE.2005.8"},{"key":"338_CR33","doi-asserted-by":"crossref","unstructured":"Dragoni N, Gaspari M (2005) An object based algebra for specifying a fault tolerant software architecture. J Logic Algebr Program 63(2):271\u2013297 (Special Issue on Process Algebra and System Architecture)","DOI":"10.1016\/j.jlap.2004.05.006"},{"key":"338_CR34","doi-asserted-by":"crossref","unstructured":"Esfahani N, Malek S, Razavi K (2013) Guidearch: guiding the exploration of architectural solution space under uncertainty. In: Proceedings of the 2013 international conference on software engineering, ICSE \u201913. IEEE Press, Piscataway, pp 43\u201352","DOI":"10.1109\/ICSE.2013.6606550"},{"key":"338_CR35","unstructured":"Everton Cavalcante ALM, Batista T (2013) Cloud-adl: an architecture description language for modeling cloud computing applications. In: Proceedings of the 7th European conference on software architecture, ECSA \u201913. Springer, Berlin, pp 320\u2013323"},{"key":"338_CR36","unstructured":"Fairbanks GH (2010) Just enough software architecture: a risk-driven approach, 1st edn. Marshall and Brainerd"},{"key":"338_CR37","unstructured":"Fujaba Project (2005) http:\/\/www.cs.uni-paderborn.de\/cs\/fujaba\/publications\/index.html . University of Paderborn, Software Engineering Group"},{"key":"338_CR38","doi-asserted-by":"crossref","unstructured":"Garlan D (2010) Software engineering in an uncertain world. In; Proceedings of the FSE\/SDP workshop on future of software engineering research, FoSER \u201910. ACM, New york, pp 125\u2013128","DOI":"10.1145\/1882362.1882389"},{"key":"338_CR39","doi-asserted-by":"crossref","unstructured":"Garlan D, Cheng S-W, Huang A-C, Schmerl BR, Steenkiste P (2004) Rainbow: architecture-based self-adaptation with reusable infrastructure. IEEE Comput 37(10):46\u201354","DOI":"10.1109\/MC.2004.175"},{"key":"338_CR40","doi-asserted-by":"crossref","unstructured":"Goseva-Popstojanova K, Trivedi KS (2001) Architecture-based approach to reliability assessment of software systems. Perform Eval 45(2\u20133):179\u2013204","DOI":"10.1016\/S0166-5316(01)00034-7"},{"key":"338_CR41","unstructured":"Harrold MJ (1998) Architecture-based regression testing of evolving systems. In: Proceedings of the international workshop on the role of software architecture in testing and analysis\u2014ROSATEA 98, pp 73\u201377"},{"key":"338_CR42","doi-asserted-by":"crossref","unstructured":"Harrold MJ (2000). Testing: a roadmap. In: Finkelstein A (ed) ACM ICSE 2000, the future of software engineering, pp 61\u201372","DOI":"10.1145\/336512.336532"},{"key":"338_CR43","unstructured":"He X (2005) A framework for ensuring system dependability from design to implementation. In: Proceedings of the 3rd international workshop on modelling, simulation, verification and validation of enterprise information systems, MSVVEIS 2005. In conjunction with ICEIS 2005"},{"key":"338_CR44","doi-asserted-by":"crossref","unstructured":"Heyman T, Scandariato R, Joosen W (2012) Reusable formal models for secure software architectures. In: 2012 Joint working IEEE\/IFIP conference on software architecture (WICSA) and European conference on software architecture (ECSA), pp 41\u201350","DOI":"10.1109\/WICSA-ECSA.212.12"},{"key":"338_CR45","doi-asserted-by":"crossref","unstructured":"Immonen A, Niemel E (2008) Survey of reliability and availability prediction methods from the viewpoint of software architecture. Softw Syst Model 7(1):49\u201365","DOI":"10.1007\/s10270-006-0040-x"},{"key":"338_CR46","unstructured":"ISO\/IEC\/IEEE (2011) ISO\/IEC\/IEEE 42010:2011 systems and software engineering\u2014architecture description"},{"key":"338_CR47","unstructured":"Jin Z, Offutt J (2001) Deriving tests from software architectures. In: Proceedings 12th international symposium on software reliability engineering, ISSRE 2001, pp 308\u2013313"},{"key":"338_CR48","doi-asserted-by":"crossref","unstructured":"Koziolek H (2010) Performance evaluation of component-based software systems: A survey. Perform. Eval. 67(8):634\u2013658","DOI":"10.1016\/j.peva.2009.07.007"},{"key":"338_CR49","doi-asserted-by":"crossref","unstructured":"Kramer J, Magee J (2007) Self-managed systems: an architectural challenge. In: Briand LC, Wolf AL (eds) FOSE, pp 259\u2013268","DOI":"10.1109\/FOSE.2007.19"},{"key":"338_CR50","unstructured":"Kruchten P (2004) An ontology of architectural design decisions in software intensive systems. 2nd Groningen workshop on software variability, pp 54\u201361"},{"key":"338_CR51","doi-asserted-by":"crossref","unstructured":"Kuz I, Zhu L, Bass L, Staples M, Xu X (2012) An architectural approach for cost effective trustworthy systems. In: 2012 Joint working IEEE\/IFIP conference on software architecture (WICSA) and European conference on software architecture (ECSA), pp 325\u2013328","DOI":"10.1109\/WICSA-ECSA.212.54"},{"key":"338_CR52","doi-asserted-by":"crossref","unstructured":"Li J, Chen X, Huang G, Mei H, Chauvel F (2009) Selecting fault tolerant styles for third-party components with model checking support. In: Proceedings of the 12th international symposium on component-based software engineering, CBSE \u201909. Springer, Berlin, pp 69\u201386","DOI":"10.1007\/978-3-642-02414-6_5"},{"key":"338_CR53","doi-asserted-by":"crossref","unstructured":"Magee J, Kramer J, Giannakopoulou D (1999) Behavior analysis of software architectures. In: Proceedings of the 1st working IFIP conference on software architecture. WICSA, San Antonio","DOI":"10.1007\/978-0-387-35563-4_3"},{"key":"338_CR54","doi-asserted-by":"crossref","unstructured":"Mahdian F, Rafe V, Rafeh R, Rahmani AT (2009) Modeling fault tolerant services in service-oriented architecture. TASE \u201909. In: Proceedings of the 2009 third IEEE international symposium on theoretical aspects of software engineering. IEEE Computer Society, Washington, DC, pp 319\u2013 320","DOI":"10.1109\/TASE.2009.41"},{"key":"338_CR55","doi-asserted-by":"crossref","unstructured":"Malavolta I, Lago P, Muccini H, Pelliccione P, Tang A (2013) What industry needs from architectural languages: a survey. IEEE Trans Softw Eng 39(6):869\u2013891","DOI":"10.1109\/TSE.2012.74"},{"key":"338_CR56","doi-asserted-by":"crossref","unstructured":"McGraw G (2006) Software security: building security in. Pearson Education, Inc","DOI":"10.1109\/ISSRE.2006.43"},{"key":"338_CR57","doi-asserted-by":"crossref","unstructured":"Muccini H, Bertolino A, Inverardi P (2003) Using software architecture for code testing. IEEE Trans Softw Eng 30(3):160\u2013171","DOI":"10.1109\/TSE.2004.1271170"},{"key":"338_CR58","doi-asserted-by":"crossref","unstructured":"Muccini H, Dias MS, Richardson DJ (2006) Software architecture-based regression testing. J Syst Softw 79(10):1379\u20131396","DOI":"10.1016\/j.jss.2006.02.059"},{"key":"338_CR59","doi-asserted-by":"crossref","unstructured":"Muccini H, Romanovsky A (2007) Architecting fault tolerant systems. Technical Report CS-TR-1051, Newcastle University","DOI":"10.1109\/WICSA.2007.10"},{"key":"338_CR60","unstructured":"Olumofin FG, Misic VB (2005) Extending the ATAM architecture evaluation to product line architectures. Fifth working IEEE\/IFIP conference on software architecture (WICSA 2005). IEEE Computer Society, Pittsburgh, pp 45\u201356"},{"key":"338_CR61","doi-asserted-by":"crossref","unstructured":"Oquendo F, Warboys B, Morrison R, Dindeleux R, Gallo F, Garavel H, Occhipinti C (2004) Archware: architecting evolvable software. In: Oquendo F, Warboys B, Morrison R (eds) Proceedings of the 1st European workshop on software architecture EWSA \u20192004 (St Andrews, Scotland, UK), volume 3047 of Lecture Notes in Computer Science. Springer, Berlin, pp 257\u2013271","DOI":"10.1007\/978-3-540-24769-2_23"},{"key":"338_CR62","doi-asserted-by":"crossref","unstructured":"Pelliccione P, Inverardi P, Muccini H (2009) Charmy: a framework for designing and verifying architectural specifications. IEEE Trans Softw Eng 35:325\u2013346","DOI":"10.1109\/TSE.2008.104"},{"key":"338_CR63","doi-asserted-by":"crossref","unstructured":"Petriu D, Shousha C, Jalnapurkar A (2000) Architecture-based performance analysis applied to a telecommunication system. IEEE Trans Softw Eng 26:1049\u20131065","DOI":"10.1109\/32.881717"},{"key":"338_CR64","unstructured":"Petriu DC, Wang X (1998) Deriving software performance models from architectural patterns by graph transformations. In: Ehrig H, Engels G, Kreowski H, Rozenberg G (eds) TAGT, volume 1764 of Lecture Notes in Computer Science. Springer, Berlin, pp 475\u2013488"},{"key":"338_CR65","unstructured":"Petriu DC, Wang X (1999) From UML descriptions of high-level software architectures to LQN performance models. In: Nagl M, Sch\u00fcrr A, M\u00fcnch M (eds) AGTIVE, volume 1779 of Lecture Notes in Computer Science. Springer, Berlin, pp 47\u201362"},{"key":"338_CR66","unstructured":"Pooley RJ, Abdullatif AAL (2010) Cpasa: continuous performance assessment of software architecture. In: Proceedings of the 2010 17th IEEE international conference and workshops on the engineering of computer-based systems, ECBS \u201910. IEEE Computer Society, Washington, DC, pp 79\u201387"},{"key":"338_CR67","unstructured":"Poort ER, van Vliet H (2011) Architecting as a risk- and cost management discipline. In: Proceedings of the 2011 ninth working IEEE\/IFIP conference on software architecture, WICSA \u201911. IEEE Computer Society, Washington, DC, pp 2\u201311"},{"key":"338_CR68","unstructured":"Richardson DJ, Stafford J, Wolf AL (1998) A formal approach to architecture-based software testing, Technical report. University of California, Irvine"},{"key":"338_CR69","unstructured":"Richardson DJ, Wolf AL (1996) Software testing at the architectural level. In: ISAW-2, in joint proceedings of the ACM SIGSOFT \u201996 workshops, pp 68\u201371"},{"key":"338_CR70","unstructured":"Rosenblum D (1998) Challenges in exploiting architectural models for software testing. In: Proceedings of the international workshop on the role of software architecture in testing and analysis\u2014ROSATEA"},{"key":"338_CR71","doi-asserted-by":"crossref","unstructured":"Roshandel R, Medvidovic N, Golubchik L (2007) A Bayesian model for predicting reliability of software systems at the architectural level. In: Overhage S, Szyperski CA, Reussner R, Stafford JA (eds) Software architectures, components, and applications, volume 4880 of Lecture Notes in Computer Science. Springer, Berlin, pp 108\u2013126","DOI":"10.1007\/978-3-540-77619-2_7"},{"key":"338_CR72","doi-asserted-by":"crossref","unstructured":"Tsai JJP, Prasad Sistla A, Sahay A, Paul R (1997) Incremental verification of architecture specification language for real-time systems. In: WORDS \u201997: Proceedings of the 3rd workshop on object-oriented real-time dependable systems\u2014(WORDS \u201997). IEEE Computer Society, Washington, DC, p 215","DOI":"10.1109\/WORDS.1997.609957"},{"key":"338_CR73","doi-asserted-by":"crossref","unstructured":"Walley P (1996) Measures of uncertainty in expert systems. Artif Intell 83(1):1\u201358","DOI":"10.1016\/0004-3702(95)00009-7"},{"key":"338_CR74","unstructured":"Williams LG, Smith CU (1998) Performance evaluation of software architectures. In: Proceedings of the 1st international workshop on software and performance, WOSP \u201998. ACM, New York, pp 164\u2013177"},{"key":"338_CR75","unstructured":"Williams LG, Smith CU (2002) PASASM: a method for the performance assessment of software architectures. In Proceedings of the 3rd international workshop on software and performance, WOSP \u201902. ACM, New York, pp 179\u2013189"},{"key":"338_CR76","doi-asserted-by":"crossref","unstructured":"Woods E (2012) Industrial architectural assessment using TARA. J Syst Softw 85(9):2034\u20132047 (Selected papers from the 2011 Joint Working IEEE\/IFIP Conference on Software Architecture (WICSA 2011))","DOI":"10.1109\/WICSA.2011.17"},{"key":"338_CR77","doi-asserted-by":"crossref","unstructured":"Woodside M, Franks G, Petriu DC (2007) The future of software performance engineering. In: 2007 Future of software engineering, FOSE \u201907. IEEE Computer Society, Washington, DC, pp 171\u2013187","DOI":"10.1109\/FOSE.2007.32"},{"key":"338_CR78","doi-asserted-by":"crossref","unstructured":"Yuan L, Dong JS, Sun J, Basit HA (2006) Generic fault tolerant software architecture reasoning and customization. IEEE Trans Reliab 55(3):421\u2013435","DOI":"10.1109\/TR.2006.879605"},{"key":"338_CR79","doi-asserted-by":"crossref","unstructured":"Zhang P, Muccini H, Li B (2010) A classification and comparison of model checking software architecture techniques. J Syst Softw 83(5):723\u2013744","DOI":"10.1016\/j.jss.2009.11.709"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-013-0338-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-013-0338-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-013-0338-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,2]],"date-time":"2022-03-02T02:23:15Z","timestamp":1646187795000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-013-0338-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,26]]},"references-count":79,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2013,8]]}},"alternative-id":["338"],"URL":"https:\/\/doi.org\/10.1007\/s00607-013-0338-9","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,26]]}}}