{"id":"https://openalex.org/W4394606321","doi":"https://doi.org/10.1145/3656340","title":"MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases","display_name":"MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases","publication_year":2024,"publication_date":"2024-04-09","ids":{"openalex":"https://openalex.org/W4394606321","doi":"https://doi.org/10.1145/3656340"},"language":"en","primary_location":{"id":"doi:10.1145/3656340","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656340","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656340","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":null,"license_id":null,"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":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3656340","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100945177","display_name":"Congying Xu","orcid":"https://orcid.org/0009-0000-2887-1690"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Congying Xu","raw_affiliation_strings":["The Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0009-0000-2887-1690","affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068101658","display_name":"Valerio Terragni","orcid":"https://orcid.org/0000-0001-5885-9297"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Valerio Terragni","raw_affiliation_strings":["The University of Auckland, Auckland, New Zealand"],"raw_orcid":"https://orcid.org/0000-0001-5885-9297","affiliations":[{"raw_affiliation_string":"The University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006357713","display_name":"Hengcheng Zhu","orcid":"https://orcid.org/0000-0002-3082-5957"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Hengcheng Zhu","raw_affiliation_strings":["The Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-3082-5957","affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041677859","display_name":"Jiarong Wu","orcid":"https://orcid.org/0000-0001-6126-303X"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Jiarong Wu","raw_affiliation_strings":["The Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0001-6126-303X","affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034057959","display_name":"Shing-Chi Cheung","orcid":"https://orcid.org/0000-0002-3508-7172"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]},{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Shing-Chi Cheung","raw_affiliation_strings":["The Hong Kong University of Science and Technology, Hong Kong China","The Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-3508-7172","affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology, Hong Kong China","institution_ids":["https://openalex.org/I200769079","https://openalex.org/I889458895"]},{"raw_affiliation_string":"The Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.4967,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":{"value":0.97246771,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"33","issue":"6","first_page":"1","last_page":"28"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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.9997000098228455,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9995999932289124,"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.6645685434341431},{"id":"https://openalex.org/keywords/metamorphic-rock","display_name":"Metamorphic rock","score":0.5037848353385925},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.4831952154636383},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.20950868725776672},{"id":"https://openalex.org/keywords/geochemistry","display_name":"Geochemistry","score":0.12296527624130249}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6645685434341431},{"id":"https://openalex.org/C26687426","wikidata":"https://www.wikidata.org/wiki/Q47069","display_name":"Metamorphic rock","level":2,"score":0.5037848353385925},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.4831952154636383},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.20950868725776672},{"id":"https://openalex.org/C17409809","wikidata":"https://www.wikidata.org/wiki/Q161764","display_name":"Geochemistry","level":1,"score":0.12296527624130249},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3656340","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656340","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656340","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":null,"license_id":null,"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:repository.hkust.edu.hk:1783.1-136294","is_oa":true,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-136294","pdf_url":"https://repository.hkust.edu.hk/ir/bitstream/1783.1-136294/1/052442_1.pdf","source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":{"id":"doi:10.1145/3656340","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656340","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656340","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":null,"license_id":null,"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":[{"score":0.5699999928474426,"display_name":"No poverty","id":"https://metadata.un.org/sdg/1"}],"awards":[{"id":"https://openalex.org/G1808308080","display_name":null,"funder_award_id":"R5034-18","funder_id":"https://openalex.org/F4320307285","funder_display_name":"Impact Fund"},{"id":"https://openalex.org/G1888249465","display_name":"\u81ea\u6210\u957f\u590d\u6742\u8f6f\u4ef6\u7cfb\u7edf\u6784\u5efa\u65b9\u6cd5\u4e0e\u8fd0\u884c\u652f\u6491\u7814\u7a76","funder_award_id":"61932021","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320307285","display_name":"Impact Fund","ror":"https://ror.org/00jb20j87"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4394606321.pdf","grobid_xml":"https://content.openalex.org/works/W4394606321.grobid-xml"},"referenced_works_count":50,"referenced_works":["https://openalex.org/W1104960690","https://openalex.org/W1526710119","https://openalex.org/W1529754292","https://openalex.org/W1965194038","https://openalex.org/W1971650562","https://openalex.org/W1982483659","https://openalex.org/W1993760289","https://openalex.org/W2023556458","https://openalex.org/W2098413804","https://openalex.org/W2103275664","https://openalex.org/W2107147876","https://openalex.org/W2158586961","https://openalex.org/W2280554095","https://openalex.org/W2313752879","https://openalex.org/W2324595780","https://openalex.org/W2395191191","https://openalex.org/W2464784130","https://openalex.org/W2782311202","https://openalex.org/W2807869594","https://openalex.org/W2890432166","https://openalex.org/W2896505116","https://openalex.org/W2903730147","https://openalex.org/W2954860266","https://openalex.org/W2969812409","https://openalex.org/W2994070200","https://openalex.org/W3008797115","https://openalex.org/W3035671939","https://openalex.org/W3044926166","https://openalex.org/W3094949573","https://openalex.org/W3098391866","https://openalex.org/W3105133011","https://openalex.org/W3109744225","https://openalex.org/W3124118940","https://openalex.org/W3124324659","https://openalex.org/W3163304474","https://openalex.org/W3177176579","https://openalex.org/W3184041223","https://openalex.org/W3193505628","https://openalex.org/W3194136989","https://openalex.org/W3199249334","https://openalex.org/W4206316875","https://openalex.org/W4214589259","https://openalex.org/W4223937600","https://openalex.org/W4239084643","https://openalex.org/W4253021324","https://openalex.org/W4285805284","https://openalex.org/W4313059319","https://openalex.org/W4319150689","https://openalex.org/W4378465442","https://openalex.org/W4384302737"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2388869842","https://openalex.org/W2354163170","https://openalex.org/W2012269922","https://openalex.org/W2368683800","https://openalex.org/W4255743663","https://openalex.org/W2401987651","https://openalex.org/W1006855143","https://openalex.org/W4220704332"],"abstract_inverted_index":{"Metamorphic":[0],"Testing":[1],"(MT)":[2],"alleviates":[3],"the":[4,35,102,153,164],"oracle":[5],"problem":[6],"by":[7],"defining":[8],"oracles":[9],"based":[10],"on":[11],"metamorphic":[12],"relations":[13],"(MRs)":[14],"that":[15,42,50,70,116,137,189],"govern":[16],"multiple":[17],"related":[18],"inputs":[19],"and":[20,99,112,175,181],"their":[21,63],"outputs.":[22],"However,":[23],"designing":[24],"MRs":[25,55,83,104,110,115,142,195],"is":[26],"challenging,":[27],"as":[28],"it":[29],"requires":[30],"domain-specific":[31],"knowledge.":[32],"This":[33],"hinders":[34],"widespread":[36],"adoption":[37],"of":[38,140,144,156,167,193],"MT.":[39],"We":[40],"observe":[41],"developer-written":[43,170],"test":[44,85,96,122,149,165],"cases":[45,86,97],"can":[46],"embed":[47],"domain":[48],"knowledge":[49],"encodes":[51],"MRs.":[52],"Such":[53],"encoded":[54,103],"could":[56],"be":[57],"synthesized":[58],"for":[59,120,147,199],"testing":[60],"not":[61],"only":[62],"original":[64],"programs":[65,69,168],"but":[66],"also":[67],"other":[68],"share":[71],"similar":[72],"functionalities.":[73],"In":[74],"this":[75],"article,":[76],"we":[77],"propose":[78],"MR-Scout":[79,92,125,157],"to":[80,173,191],"automatically":[81],"synthesize":[82],"from":[84,130],"in":[87,178],"open-source":[88],"software":[89],"(OSS)":[90],"projects.":[91,133],"first":[93],"discovers":[94],"MR-encoded":[95],"(MTCs),":[98],"then":[100],"synthesizes":[101],"into":[105],"parameterized":[106],"methods":[107],"(called":[108],"codified":[109,141,194],"),":[111],"filters":[113],"out":[114],"demonstrate":[117],"poor":[118],"quality":[119,146],"new":[121],"case":[123,150],"generation.":[124],"discovered":[126],"over":[127,138],"11,000":[128],"MTCs":[129],"701":[131],"OSS":[132],"Experimental":[134],"results":[135],"show":[136],"97%":[139],"are":[143,196],"high":[145],"automated":[148],"generation,":[151],"demonstrating":[152],"practical":[154],"applicability":[155],".":[158],"Furthermore,":[159],"codified-MRs-based":[160],"tests":[161],"effectively":[162],"enhance":[163],"adequacy":[166],"with":[169],"tests,":[171],"leading":[172],"13.52%":[174],"9.42%":[176],"increases":[177],"line":[179],"coverage":[180],"mutation":[182],"score,":[183],"respectively.":[184],"Our":[185],"qualitative":[186],"study":[187],"shows":[188],"55.76%":[190],"76.92%":[192],"easily":[197],"comprehensible":[198],"developers.":[200]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":3}],"updated_date":"2026-08-22T07:34:49.880490","created_date":"2024-04-10T00:00:00"}