{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T10:58:22Z","timestamp":1780657102363,"version":"3.54.1"},"reference-count":55,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2004,3,1]],"date-time":"2004-03-01T00:00:00Z","timestamp":1078099200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2004,3]]},"DOI":"10.1109\/tse.2004.1271170","type":"journal-article","created":{"date-parts":[[2004,3,9]],"date-time":"2004-03-09T19:14:08Z","timestamp":1078859648000},"page":"160-171","source":"Crossref","is-referenced-by-count":83,"title":["Using software architecture for code testing"],"prefix":"10.1109","volume":"30","author":[{"given":"H.","family":"Muccini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A.","family":"Bertolino","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"P.","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Automated Generation and Execution of Test Suites for Distributed Component-Based Software","year":"2004"},{"key":"ref2","volume-title":"The Argus-I project, Univ. of California, Irvine","year":"2004"},{"key":"ref3","volume-title":"Software Architecture in Practice","author":"Bass","year":"1998"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.1998.693354"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1991.0040"},{"key":"ref6","article-title":"Knowledge Area Description of Software Testing","volume-title":"SWEBOK, Joint IEEE-ACM Software Eng. Coordinating Committee","author":"Bertolino","year":"2000"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/243327.243599"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337205"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/icse.2001.919095"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/186258.187153"},{"key":"ref11","article-title":"Automated Testing of Harel\u2019s Statecharts","author":"Bogdanov","year":"2000"},{"key":"ref12","volume-title":"The C2 style and ADL Project web page","year":"2004"},{"key":"ref13","volume-title":"The C2 Framework","year":"2004"},{"key":"ref14","volume-title":"Caesar\/Aldebaran Tool (CADP)","year":"2004"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055352"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/32.689403"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/281035.281041"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/581372.581374"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0024651"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919087"},{"key":"ref21","volume-title":"FC2Tools","year":"2004"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_82"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(96)00032-9"},{"key":"ref24","doi-asserted-by":"crossref","DOI":"10.1007\/b13225","article-title":"Formal Methods for Software Architectures Tutorial Book on Software Architectures and Formal Methods","author":"Bernardo","year":"2003","journal-title":"Lecture Notes in Computer Science 2804"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/32.87284"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.1994.292398"},{"key":"ref27","first-page":"73","article-title":"Architecture-Based Regression Testing of Evolving Systems","volume-title":"Proc. Int\u2019l Workshop the Role of Software Architecture in Testing and Analysis","author":"Harrold"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336532"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2000.844580"},{"key":"ref30","volume-title":"Applied Software Architecture","author":"Hofmeister","year":"1999"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/32.385973"},{"key":"ref32","article-title":"The Teleservices and Remote Medical Care System (TRMCS)","volume-title":"IEEE Proc. Int\u2019l Workshop Software Specification and Design","author":"Inverardi"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1994.296768"},{"key":"ref34","volume-title":"Labelled Transition System Analyzer (LTSA)","year":"2004"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205182"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/32.385971"},{"issue":"3","key":"ref37","first-page":"219","article-title":"An Introduction to Input\/Output Automata","volume":"2","author":"Lynch","year":"1989","journal-title":"CWI Quarterly"},{"key":"ref38","volume-title":"Concurrency: State Models & Java Programs","author":"Magee","year":"1999"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/210223.210226"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233837"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302410"},{"key":"ref42","volume-title":"Communication on Concurrences. Int\u2019l Series on Computer Science","author":"Milner","year":"1989"},{"key":"ref43","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.2004.1271170","article-title":"Using Software Architecture for Code Testing","volume-title":"Technical Report TRCS 006\/2004","author":"Muccini","year":"2004"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24721-0_22"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/2.910904"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/62959.62964"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/243327.243605"},{"key":"ref48","article-title":"A Formal Approach to Architecture-Based Software Testing","volume-title":"technical report","author":"Richardson","year":"1998"},{"key":"ref49","article-title":"A Practical Approach to Validating and Testing Software Systems Using Scenarios","volume-title":"Proc. Third Int\u2019l Software Quality Week Europe Conf.","author":"Ryser"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919167"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.1996.542187"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-7552(96)00017-7"},{"key":"ref53","first-page":"758","article-title":"Object-Oriented Specification-Based Testing Using UML Statechart Diagrams","volume-title":"Proc. Int\u2019l Conf. Software Eng. 2000 Workshop Automated Program Analysis, Testing, and Verification","author":"Vieira"},{"key":"ref54","article-title":"Structured Testing: A Testing Methodology Using the Cyclomatic Complexity Metric","volume-title":"Nat\u2019l Inst. of Standards and Technology Special Publication 500-235","author":"Watson","year":"1996"},{"key":"ref55","first-page":"42","article-title":"Testing Complex Architectural Conformance Relations","volume-title":"Proc. Int\u2019l Workshop Role of Software Architecture in Testing and Analysis","author":"Young"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/28461\/01271170.pdf?arnumber=1271170","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T04:21:24Z","timestamp":1742098884000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1271170\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,3]]},"references-count":55,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,3]]}},"URL":"https:\/\/doi.org\/10.1109\/tse.2004.1271170","relation":{},"ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"subject":[],"published":{"date-parts":[[2004,3]]}}}