{"id":"https://openalex.org/W2131538046","doi":"https://doi.org/10.1109/tse.2004.1271170","title":"Using software architecture for code testing","display_name":"Using software architecture for code testing","publication_year":2004,"publication_date":"2004-03-01","ids":{"openalex":"https://openalex.org/W2131538046","doi":"https://doi.org/10.1109/tse.2004.1271170","mag":"2131538046"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2004.1271170","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2004.1271170","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030457541","display_name":"Henry Muccini","orcid":"https://orcid.org/0000-0001-6365-6515"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"H. Muccini","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e1 dell''Aquila, L'Aquila, Italy","Dipt. di informatica, Universita dell'Aquila, L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e1 dell''Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Dipt. di informatica, Universita dell'Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061991704","display_name":"Antonia Bertolino","orcid":"https://orcid.org/0000-0001-8749-1356"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"A. Bertolino","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e1 dell''Aquila, L'Aquila, Italy","[Dipartimento di Informatica, Universit\u00e1 dell''Aquila, L'Aquila, Italy]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e1 dell''Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"[Dipartimento di Informatica, Universit\u00e1 dell''Aquila, L'Aquila, Italy]","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112347231","display_name":"Paola Inverardi","orcid":null},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"P. Inverardi","raw_affiliation_strings":["Istituto di Scienza e Tecnologie dellInformazione A. Faedo-Consiglio Nazionale delle Ricerche, Pisa, Italy","Dipt. di informatica, Universita dell'Aquila, L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Istituto di Scienza e Tecnologie dellInformazione A. Faedo-Consiglio Nazionale delle Ricerche, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]},{"raw_affiliation_string":"Dipt. di informatica, Universita dell'Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":16.0298,"has_fulltext":false,"cited_by_count":117,"citation_normalized_percentile":{"value":0.99059845,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"30","issue":"3","first_page":"160","last_page":"171"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8623592853546143},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7903796434402466},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.6083484292030334},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5716075897216797},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5099691152572632},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.49903416633605957},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4945842921733856},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.49133411049842834},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.4625313878059387},{"id":"https://openalex.org/keywords/reference-architecture","display_name":"Reference architecture","score":0.4285150468349457},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.42115819454193115},{"id":"https://openalex.org/keywords/architectural-pattern","display_name":"Architectural pattern","score":0.4171518385410309},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.41362008452415466},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.3493421673774719},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.2235698699951172},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.207310289144516},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13642504811286926}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8623592853546143},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7903796434402466},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.6083484292030334},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5716075897216797},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5099691152572632},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.49903416633605957},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4945842921733856},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.49133411049842834},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4625313878059387},{"id":"https://openalex.org/C55356503","wikidata":"https://www.wikidata.org/wiki/Q2136675","display_name":"Reference architecture","level":4,"score":0.4285150468349457},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.42115819454193115},{"id":"https://openalex.org/C72280835","wikidata":"https://www.wikidata.org/wiki/Q635346","display_name":"Architectural pattern","level":5,"score":0.4171518385410309},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.41362008452415466},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.3493421673774719},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.2235698699951172},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.207310289144516},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13642504811286926},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tse.2004.1271170","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2004.1271170","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:dnet:people______::709a870cc9cd628ce3df369addd3c59c","is_oa":false,"landing_page_url":"https://openportal.isti.cnr.it/doc?id=people______::709a870cc9cd628ce3df369addd3c59c","pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISTI Technical reports, 2003","raw_type":"http://purl.org/coar/resource_type/c_1843"},{"id":"pmh:oai:dnet:people______::d22c1ab9d4922faa3876f1163e527224","is_oa":false,"landing_page_url":"https://openportal.isti.cnr.it/doc?id=people______::d22c1ab9d4922faa3876f1163e527224","pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE transactions on software engineering 30 (2004): 160\u2013171. doi:10.1109/TSE.2004.1271170","raw_type":"http://purl.org/coar/resource_type/c_6501"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5299999713897705,"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321873","display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","ror":"https://ror.org/0166hxq48"},{"id":"https://openalex.org/F4320323718","display_name":"Universit\u00e0 degli Studi dell'Aquila","ror":"https://ror.org/01j9p1r26"},{"id":"https://openalex.org/F4320332688","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W32914167","https://openalex.org/W1498342204","https://openalex.org/W1510782929","https://openalex.org/W1521799041","https://openalex.org/W1584511540","https://openalex.org/W1600979142","https://openalex.org/W1787500456","https://openalex.org/W1800478330","https://openalex.org/W1819615023","https://openalex.org/W1932714653","https://openalex.org/W1964962870","https://openalex.org/W1979248560","https://openalex.org/W1992639336","https://openalex.org/W2005150099","https://openalex.org/W2024851598","https://openalex.org/W2038772109","https://openalex.org/W2045591981","https://openalex.org/W2055116083","https://openalex.org/W2056134008","https://openalex.org/W2056186404","https://openalex.org/W2060910670","https://openalex.org/W2072661102","https://openalex.org/W2096973649","https://openalex.org/W2099135652","https://openalex.org/W2102296762","https://openalex.org/W2103544170","https://openalex.org/W2105394284","https://openalex.org/W2109180425","https://openalex.org/W2111389084","https://openalex.org/W2112064227","https://openalex.org/W2112678128","https://openalex.org/W2118404432","https://openalex.org/W2124736688","https://openalex.org/W2125831829","https://openalex.org/W2129559874","https://openalex.org/W2131538046","https://openalex.org/W2143236904","https://openalex.org/W2152417223","https://openalex.org/W2164070935","https://openalex.org/W2177967933","https://openalex.org/W2288977256","https://openalex.org/W2492002059","https://openalex.org/W4233003571","https://openalex.org/W4236544248","https://openalex.org/W4239312124","https://openalex.org/W4248507946","https://openalex.org/W4249819527","https://openalex.org/W4250990810","https://openalex.org/W4251564757","https://openalex.org/W6601327568","https://openalex.org/W6629841916","https://openalex.org/W7017801107"],"related_works":["https://openalex.org/W2404623299","https://openalex.org/W2153657417","https://openalex.org/W87282197","https://openalex.org/W2883820051","https://openalex.org/W2773589298","https://openalex.org/W3130209300","https://openalex.org/W2146503525","https://openalex.org/W2424558955","https://openalex.org/W2118964292","https://openalex.org/W1503604944"],"abstract_inverted_index":{"Our":[0],"research":[1],"deals":[2],"with":[3,22],"the":[4,16,30,109,130,142,153],"use":[5,141],"of":[6,18,32,39,67,78,97,104,163],"software":[7],"architecture":[8],"(SA)":[9],"as":[10],"a":[11,102,112],"reference":[12],"model":[13],"for":[14],"testing":[15],"conformance":[17],"an":[19,94],"implemented":[20],"system":[21,42],"respect":[23],"to":[24,35,45,50,125,146],"its":[25],"architectural":[26,52,131],"specification.":[27],"We":[28,140,151],"exploit":[29],"specification":[31],"SA":[33,55,79,117],"dynamics":[34,56,80],"identify":[36],"useful":[37],"schemes":[38],"interactions":[40],"between":[41,114],"components":[43],"and":[44,86,119,156,161],"select":[46],"test":[47,98],"classes":[48,99],"corresponding":[49],"relevant":[51,84],"behaviors.":[53],"The":[54,64],"is":[57],"modeled":[58],"by":[59,81],"labeled":[60],"transition":[61],"systems":[62],"(LTSs).":[63],"approach":[65],"consists":[66],"deriving":[68,93,101],"suitable":[69],"LTS":[70],"abstractions":[71],"called":[72],"ALTSs.":[73],"ALTSs":[74],"offer":[75],"specific":[76],"views":[77],"concentrating":[82],"on":[83],"features":[85],"abstracting":[87],"away":[88],"from":[89],"uninteresting":[90],"ones.":[91],"Intuitively,":[92],"adequate":[95],"set":[96,103],"entails":[100],"paths":[105],"that":[106,129],"appropriately":[107],"cover":[108],"ALTS.":[110],"Next,":[111],"relation":[113],"these":[115],"abstract":[116],"tests":[118,123,132],"more":[120],"concrete,":[121],"executable":[122],"needs":[124],"be":[126,135],"established":[127],"so":[128],"derived":[133],"can":[134],"refined":[136],"into":[137],"code-level":[138],"tests.":[139],"TRMCS":[143],"case":[144],"study":[145],"illustrate":[147],"our":[148],"hands-on":[149],"experience.":[150],"discuss":[152],"insights":[154],"gained":[155],"highlight":[157],"some":[158],"issues,":[159],"problems,":[160],"solutions":[162],"general":[164],"interest":[165],"in":[166],"architecture-based":[167],"testing.":[168]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":8},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":11},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":10},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}