{"id":"https://openalex.org/W4400582751","doi":"https://doi.org/10.1145/3643747","title":"Abstraction-Aware Inference of Metamorphic Relations","display_name":"Abstraction-Aware Inference of Metamorphic Relations","publication_year":2024,"publication_date":"2024-07-12","ids":{"openalex":"https://openalex.org/W4400582751","doi":"https://doi.org/10.1145/3643747"},"language":"en","primary_location":{"id":"doi:10.1145/3643747","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3643747","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3643747","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009278293","display_name":"Agust\u00edn Nolasco","orcid":"https://orcid.org/0009-0007-2748-2467"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Agust\u00edn Nolasco","raw_affiliation_strings":["University of Rio Cuarto, Rio Cuarto, Argentina"],"raw_orcid":"https://orcid.org/0009-0007-2748-2467","affiliations":[{"raw_affiliation_string":"University of Rio Cuarto, Rio Cuarto, Argentina","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074123997","display_name":"Facundo Molina","orcid":"https://orcid.org/0000-0002-2441-1555"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Facundo Molina","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain"],"raw_orcid":"https://orcid.org/0000-0002-2441-1555","affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032855338","display_name":"Renzo Degiovanni","orcid":"https://orcid.org/0000-0003-1611-3969"},"institutions":[{"id":"https://openalex.org/I4210112527","display_name":"Luxembourg Institute of Science and Technology","ror":"https://ror.org/01t178j62","country_code":"LU","type":"nonprofit","lineage":["https://openalex.org/I4210112527"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Renzo Degiovanni","raw_affiliation_strings":["Luxembourg Institute of Science and Technology, Luxembourg, Luxembourg"],"raw_orcid":"https://orcid.org/0000-0003-1611-3969","affiliations":[{"raw_affiliation_string":"Luxembourg Institute of Science and Technology, Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I4210112527"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051928160","display_name":"Alessandra Gorla","orcid":"https://orcid.org/0000-0002-6711-3080"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Alessandra Gorla","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain"],"raw_orcid":"https://orcid.org/0000-0002-6711-3080","affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047743678","display_name":"Diego Garbervetsky","orcid":"https://orcid.org/0000-0003-4180-7196"},"institutions":[{"id":"https://openalex.org/I151201029","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59","country_code":"AR","type":"government","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]},{"id":"https://openalex.org/I24354313","display_name":"Universidad de Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Diego Garbervetsky","raw_affiliation_strings":["University of Buenos Aires and ICC/CONICET, Buenos Aires, Argentina"],"raw_orcid":"https://orcid.org/0000-0003-4180-7196","affiliations":[{"raw_affiliation_string":"University of Buenos Aires and ICC/CONICET, Buenos Aires, Argentina","institution_ids":["https://openalex.org/I24354313","https://openalex.org/I151201029"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081145634","display_name":"Mike Papadakis","orcid":"https://orcid.org/0000-0003-1852-2547"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Mike Papadakis","raw_affiliation_strings":["University of Luxembourg, Luxembourg, Luxembourg"],"raw_orcid":"https://orcid.org/0000-0003-1852-2547","affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045087569","display_name":"Sebasti\u00e1n Uchitel","orcid":"https://orcid.org/0000-0001-9352-1478"},"institutions":[{"id":"https://openalex.org/I151201029","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59","country_code":"AR","type":"government","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]},{"id":"https://openalex.org/I24354313","display_name":"Universidad de Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]},{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["AR","GB"],"is_corresponding":false,"raw_author_name":"Sebastian Uchitel","raw_affiliation_strings":["Imperial College, London, United Kingdom","University of Buenos Aires and ICC/CONICET, Buenos Aires, Argentina","Imperial College, London, United Kingdom / University of Buenos Aires and ICC/CONICET, Buenos Aires, Argentina"],"raw_orcid":"https://orcid.org/0000-0001-9352-1478","affiliations":[{"raw_affiliation_string":"Imperial College, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"University of Buenos Aires and ICC/CONICET, Buenos Aires, Argentina","institution_ids":["https://openalex.org/I24354313","https://openalex.org/I151201029"]},{"raw_affiliation_string":"Imperial College, London, United Kingdom / University of Buenos Aires and ICC/CONICET, Buenos Aires, Argentina","institution_ids":["https://openalex.org/I151201029","https://openalex.org/I24354313","https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016401353","display_name":"Nazareno Aguirre","orcid":"https://orcid.org/0000-0003-0532-5296"},"institutions":[{"id":"https://openalex.org/I151201029","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59","country_code":"AR","type":"government","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]},{"id":"https://openalex.org/I15366983","display_name":"Universidad Nacional de R\u00edo Cuarto","ror":"https://ror.org/0002pcv65","country_code":"AR","type":"education","lineage":["https://openalex.org/I15366983"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Nazareno Aguirre","raw_affiliation_strings":["CONICET, Buenos Aires, Argentina","University of Rio Cuarto, Rio Cuarto, Argentina","University of Rio Cuarto, Rio Cuarto, Argentina / CONICET, Buenos Aires, Argentina"],"raw_orcid":"https://orcid.org/0000-0003-0532-5296","affiliations":[{"raw_affiliation_string":"CONICET, Buenos Aires, Argentina","institution_ids":["https://openalex.org/I151201029"]},{"raw_affiliation_string":"University of Rio Cuarto, Rio Cuarto, Argentina","institution_ids":[]},{"raw_affiliation_string":"University of Rio Cuarto, Rio Cuarto, Argentina / CONICET, Buenos Aires, Argentina","institution_ids":["https://openalex.org/I15366983","https://openalex.org/I151201029"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035707440","display_name":"Marcelo F. Frias","orcid":"https://orcid.org/0000-0002-5592-1355"},"institutions":[{"id":"https://openalex.org/I164936912","display_name":"The University of Texas at El Paso","ror":"https://ror.org/04d5vba33","country_code":"US","type":"education","lineage":["https://openalex.org/I164936912"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marcelo F. Frias","raw_affiliation_strings":["The University of Texas at El Paso, El Paso, USA"],"raw_orcid":"https://orcid.org/0000-0002-5592-1355","affiliations":[{"raw_affiliation_string":"The University of Texas at El Paso, El Paso, USA","institution_ids":["https://openalex.org/I164936912"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":9,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.7246,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.85941699,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"1","issue":"FSE","first_page":"450","last_page":"472"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"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/T10260","display_name":"Software Engineering Research","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9991999864578247,"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/abstraction","display_name":"Abstraction","score":0.7054674625396729},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6608240008354187},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5904079675674438},{"id":"https://openalex.org/keywords/metamorphic-rock","display_name":"Metamorphic rock","score":0.5225003361701965},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4251849353313446},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3385072946548462},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32202357053756714},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.275110125541687},{"id":"https://openalex.org/keywords/geochemistry","display_name":"Geochemistry","score":0.22200986742973328},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.15526434779167175},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.09503486752510071}],"concepts":[{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7054674625396729},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6608240008354187},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5904079675674438},{"id":"https://openalex.org/C26687426","wikidata":"https://www.wikidata.org/wiki/Q47069","display_name":"Metamorphic rock","level":2,"score":0.5225003361701965},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4251849353313446},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3385072946548462},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32202357053756714},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.275110125541687},{"id":"https://openalex.org/C17409809","wikidata":"https://www.wikidata.org/wiki/Q161764","display_name":"Geochemistry","level":1,"score":0.22200986742973328},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.15526434779167175},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.09503486752510071}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3643747","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3643747","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3643747","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3643747","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W1104960690","https://openalex.org/W1895387792","https://openalex.org/W1971650562","https://openalex.org/W1982483659","https://openalex.org/W1986544324","https://openalex.org/W1990543981","https://openalex.org/W1998874662","https://openalex.org/W2002561159","https://openalex.org/W2028990673","https://openalex.org/W2041713059","https://openalex.org/W2107399969","https://openalex.org/W2110908283","https://openalex.org/W2126420753","https://openalex.org/W2148003078","https://openalex.org/W2156723666","https://openalex.org/W2162036145","https://openalex.org/W2170747189","https://openalex.org/W2324595780","https://openalex.org/W2465098971","https://openalex.org/W2615135541","https://openalex.org/W2740646481","https://openalex.org/W2782311202","https://openalex.org/W2879105418","https://openalex.org/W2896864934","https://openalex.org/W2903744551","https://openalex.org/W2954455540","https://openalex.org/W2966775006","https://openalex.org/W2979357014","https://openalex.org/W2994070200","https://openalex.org/W3098391866","https://openalex.org/W3120014478","https://openalex.org/W3160282589","https://openalex.org/W3163304474","https://openalex.org/W3184041223","https://openalex.org/W4240735127","https://openalex.org/W4254753190","https://openalex.org/W4284678181","https://openalex.org/W4284708843","https://openalex.org/W4318325588","https://openalex.org/W4323896452"],"related_works":["https://openalex.org/W2388869842","https://openalex.org/W2354163170","https://openalex.org/W2012269922","https://openalex.org/W2368683800","https://openalex.org/W4255743663","https://openalex.org/W4388675521","https://openalex.org/W2108135022","https://openalex.org/W3148810651","https://openalex.org/W2789077243","https://openalex.org/W2898772359"],"abstract_inverted_index":{"Metamorphic":[0],"testing":[1,16,51,265],"is":[2,64,136,193],"a":[3,60,73,87,144,160,235],"valuable":[4],"technique":[5,84,158,179],"that":[6,34,63,76,184,202],"helps":[7],"in":[8,25,143,211,232,238],"dealing":[9],"with":[10,174],"the":[11,110,122,127,151,169,175,187,217,225,239,244],"oracle":[12],"problem.":[13],"It":[14],"involves":[15],"software":[17,39,111,152],"against":[18],"specifications":[19,256],"of":[20,27,49,90,109,147,163,213,227,243,252],"its":[21,261],"intended":[22],"behavior":[23],"given":[24],"terms":[26,212],"so":[28],"called":[29],"metamorphic":[30,50,58,81,91,148,176,200,229],"relations":[31,120,129,149],",":[32,72],"statements":[33],"express":[35],"properties":[36],"relating":[37],"different":[38,42],"elements":[40],"(e.g.,":[41],"inputs,":[43],"methods,":[44],"etc).":[45],"The":[46,83],"effective":[47],"application":[48],"strongly":[52],"depends":[53],"on":[54,86,159],"identifying":[55,80],"suitable":[56],"domain-specific":[57],"relations,":[59,141,201,230],"challenging":[61],"task,":[62],"typically":[65],"manually":[66],"performed.":[67],"This":[68],"paper":[69],"introduces":[70],"MemoRIA":[71,101,173,192],"novel":[74],"approach":[75],"aims":[77],"at":[78],"automatically":[79],"relations.":[82,247],"focuses":[85],"particular":[88],"kind":[89],"relation,":[92],"which":[93],"asserts":[94],"equivalences":[95],"between":[96],"methods":[97],"and":[98,124,171,260,266],"method":[99],"sequences.":[100],"works":[102],"by":[103,185],"first":[104],"generating":[105],"an":[106],"object-protocol":[107],"abstraction":[108,190],"being":[112],"tested,":[113],"then":[114],"using":[115],"fuzzing":[116],"to":[117,138,195,208,222],"produce":[118],"candidate":[119,128],"from":[121,168],"abstraction,":[123],"finally":[125],"validating":[126],"through":[130],"run-time":[131],"analysis.":[132,215],"A":[133],"SAT-based":[134,218],"analysis":[135,270],"used":[137],"eliminate":[139],"redundant":[140],"resulting":[142],"concise":[145],"set":[146],"for":[150],"under":[153],"test.":[154],"We":[155],"evaluate":[156],"our":[157],"benchmark":[161],"consisting":[162],"22":[164],"Java":[165],"subjects":[166],"taken":[167],"literature,":[170],"compare":[172],"relation":[177],"inference":[178],"SBES.":[180],"Our":[181],"results":[182],"show":[183],"incorporating":[186],"object":[188],"protocol":[189],"information,":[191],"able":[194],"more":[196,205],"effectively":[197],"infer":[198],"meaningful":[199],"are":[203],"also":[204],"precise,":[206],"compared":[207],"SBES,":[209],"measured":[210],"mutation":[214],"Also,":[216],"reduction":[219],"allows":[220],"us":[221],"significantly":[223],"reduce":[224],"number":[226],"reported":[228],"while":[231],"general":[233],"having":[234],"small":[236],"impact":[237],"bug":[240],"finding":[241],"ability":[242],"corresponding":[245],"obtained":[246],"CCS":[248],"Concepts:":[249],"\u2022":[250,258],"Theory":[251],"computation":[253],"\u2192":[254,263],"Program":[255],";":[257,268],"Software":[259,264],"engineering":[262],"debugging":[267],"Dynamic":[269],".":[271]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}