{"id":"https://openalex.org/W4415477200","doi":"https://doi.org/10.1145/3772722","title":"Using Metamorphic Relations in Redundancy-based Fault/Intrusion Tolerance","display_name":"Using Metamorphic Relations in Redundancy-based Fault/Intrusion Tolerance","publication_year":2025,"publication_date":"2025-10-23","ids":{"openalex":"https://openalex.org/W4415477200","doi":"https://doi.org/10.1145/3772722"},"language":"en","primary_location":{"id":"doi:10.1145/3772722","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3772722","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3772722","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Felicita Di Giandomenico","orcid":"https://orcid.org/0000-0003-0687-6655"},"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"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Felicita Di Giandomenico","raw_affiliation_strings":["ISTI-CNR, Pisa, Italy","ISTI-CNR, Italy"],"raw_orcid":"https://orcid.org/0000-0003-0687-6655","affiliations":[{"raw_affiliation_string":"ISTI-CNR, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]},{"raw_affiliation_string":"ISTI-CNR, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015198915","display_name":"Giulio Masetti","orcid":"https://orcid.org/0000-0002-5165-275X"},"institutions":[{"id":"https://openalex.org/I4210113153","display_name":"Neuroscience Institute","ror":"https://ror.org/0240rwx68","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210113153","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giulio Masetti","raw_affiliation_strings":["Scuola Secondaria di Primo Grado, Monterchi, Italy"],"raw_orcid":"https://orcid.org/0000-0002-5165-275X","affiliations":[{"raw_affiliation_string":"Scuola Secondaria di Primo Grado, Monterchi, Italy","institution_ids":["https://openalex.org/I4210113153"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045369535","display_name":"Francesca Lonetti","orcid":"https://orcid.org/0000-0002-4864-2219"},"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"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesca Lonetti","raw_affiliation_strings":["ISTI-CNR, Pisa, Italy","ISTI-CNR, Italy"],"raw_orcid":"https://orcid.org/0000-0002-4864-2219","affiliations":[{"raw_affiliation_string":"ISTI-CNR, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]},{"raw_affiliation_string":"ISTI-CNR, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061991704","display_name":"Antonia Bertolino","orcid":"https://orcid.org/0000-0001-8749-1356"},"institutions":[{"id":"https://openalex.org/I4210150763","display_name":"Gran Sasso Science Institute","ror":"https://ror.org/043qcb444","country_code":"IT","type":"education","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210150763"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Antonia Bertolino","raw_affiliation_strings":["GSSI, L\u2019Aquila, Italy","GSSI, Italy"],"raw_orcid":"https://orcid.org/0000-0001-8749-1356","affiliations":[{"raw_affiliation_string":"GSSI, L\u2019Aquila, Italy","institution_ids":["https://openalex.org/I4210150763"]},{"raw_affiliation_string":"GSSI, Italy","institution_ids":["https://openalex.org/I4210150763"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.25287242,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"35","issue":"6","first_page":"1","last_page":"34"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.9990000128746033,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/diversity","display_name":"Diversity (politics)","score":0.6593000292778015},{"id":"https://openalex.org/keywords/intrusion","display_name":"Intrusion","score":0.5396999716758728},{"id":"https://openalex.org/keywords/logical-conjunction","display_name":"Logical conjunction","score":0.3707999885082245},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.35530000925064087},{"id":"https://openalex.org/keywords/logical-framework","display_name":"Logical framework","score":0.3544999957084656},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.35179999470710754}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7573999762535095},{"id":"https://openalex.org/C2781316041","wikidata":"https://www.wikidata.org/wiki/Q1230584","display_name":"Diversity (politics)","level":2,"score":0.6593000292778015},{"id":"https://openalex.org/C158251709","wikidata":"https://www.wikidata.org/wiki/Q354025","display_name":"Intrusion","level":2,"score":0.5396999716758728},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.3707999885082245},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35760000348091125},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.35530000925064087},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.3544999957084656},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.35179999470710754},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.3386000096797943},{"id":"https://openalex.org/C48677424","wikidata":"https://www.wikidata.org/wiki/Q6888088","display_name":"Mode (computer interface)","level":2,"score":0.3269999921321869},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.28949999809265137},{"id":"https://openalex.org/C14224292","wikidata":"https://www.wikidata.org/wiki/Q13600188","display_name":"Conceptual framework","level":2,"score":0.28929999470710754},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2833000123500824},{"id":"https://openalex.org/C13606891","wikidata":"https://www.wikidata.org/wiki/Q2623243","display_name":"Conceptual model","level":2,"score":0.27970001101493835},{"id":"https://openalex.org/C120208923","wikidata":"https://www.wikidata.org/wiki/Q5158435","display_name":"Conceptual design","level":2,"score":0.2793000042438507},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2651999890804291},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.2542000114917755}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3772722","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3772722","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},{"id":"pmh:oai:dnet:iris________::fbb0d378aeef96857651ab3c187f234b","is_oa":true,"landing_page_url":null,"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY","raw_type":"Journal article"}],"best_oa_location":{"id":"doi:10.1145/3772722","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3772722","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1979868167","https://openalex.org/W2027943104","https://openalex.org/W2032680490","https://openalex.org/W2097545679","https://openalex.org/W2097719961","https://openalex.org/W2101238967","https://openalex.org/W2129360963","https://openalex.org/W2145071552","https://openalex.org/W2162036145","https://openalex.org/W2324595780","https://openalex.org/W2903744551","https://openalex.org/W3035757797","https://openalex.org/W3163304474","https://openalex.org/W4290802688","https://openalex.org/W4318325588","https://openalex.org/W4400074569","https://openalex.org/W4405543795"],"related_works":[],"abstract_inverted_index":{"Redundancy":[0],"is":[1],"widely":[2],"used":[3],"as":[4],"a":[5,57],"method":[6],"for":[7,42,108,144],"fault":[8],"and":[9,76,90,139],"intrusion":[10],"tolerance.":[11,152],"However,":[12],"if":[13],"the":[14,32,40,105,109,119,125,134],"redundant":[15],"components":[16],"lack":[17],"sufficient":[18],"diversity,":[19,61],"potentially":[20],"dangerous":[21],"common":[22],"mode":[23],"failures":[24],"may":[25],"go":[26],"undetected.":[27],"To":[28],"address":[29],"this":[30,45,53,145],"issue,":[31],"design":[33,136],"diversity":[34,89,137],"approach":[35,51,148],"has":[36],"been":[37],"proposed":[38,120],"in":[39],"literature":[41],"decades.":[43],"In":[44],"article,":[46],"we":[47,94,113],"take":[48],"an":[49,115],"innovative":[50],"to":[52,104,129,149],"problem":[54],"by":[55],"introducing":[56],"broader":[58],"notion":[59],"of":[60,84,118],"which":[62,122],"leverages":[63],"Metamorphic":[64],"Relations":[65],"(MRs),":[66],"i.e.,":[67],"necessary":[68,106],"properties":[69],"that":[70,86],"must":[71],"hold":[72],"among":[73],"diverse":[74,77],"inputs":[75],"outputs.":[78],"We":[79],"define":[80],"two":[81,97],"generic":[82],"categories":[83],"MRs":[85],"establish":[87],"data":[88],"functional":[91],"diversity.":[92],"Furthermore,":[93],"elaborate":[95],"on":[96,133],"corresponding":[98],"logical":[99],"architectures,":[100,121],"paying":[101],"particular":[102],"attention":[103],"conditions":[107],"adjudicator":[110],"component.":[111],"Finally,":[112],"present":[114],"initial":[116],"evaluation":[117],"points":[123],"out":[124],"advantages":[126],"with":[127],"respect":[128],"their":[130],"counterparts":[131],"based":[132],"traditional":[135],"method,":[138],"discuss":[140],"future":[141],"research":[142],"directions":[143],"novel":[146],"conceptual":[147],"redundancy-based":[150],"fault/intrusion":[151]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-23T00:00:00"}