{"id":"https://openalex.org/W4399557806","doi":"https://doi.org/10.1145/3669663","title":"MET-MAPF: A Metamorphic Testing Approach for Multi-Agent Path Finding Algorithms","display_name":"MET-MAPF: A Metamorphic Testing Approach for Multi-Agent Path Finding Algorithms","publication_year":2024,"publication_date":"2024-06-12","ids":{"openalex":"https://openalex.org/W4399557806","doi":"https://doi.org/10.1145/3669663"},"language":"en","primary_location":{"id":"doi:10.1145/3669663","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3669663","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3669663","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/3669663","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100357458","display_name":"Xiao\u2013Yi Zhang","orcid":"https://orcid.org/0000-0001-7414-8057"},"institutions":[{"id":"https://openalex.org/I92403157","display_name":"University of Science and Technology Beijing","ror":"https://ror.org/02egmk993","country_code":"CN","type":"education","lineage":["https://openalex.org/I92403157"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiao-Yi Zhang","raw_affiliation_strings":["University of Science and Technology Beijing, Beijing, China","University of Science and Technology Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-7414-8057","affiliations":[{"raw_affiliation_string":"University of Science and Technology Beijing, Beijing, China","institution_ids":["https://openalex.org/I92403157"]},{"raw_affiliation_string":"University of Science and Technology Beijing, China","institution_ids":["https://openalex.org/I92403157"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077886381","display_name":"Yang Liu","orcid":"https://orcid.org/0000-0003-2222-3232"},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang Liu","raw_affiliation_strings":["Beijing Jiaotong University, Beijing, China","Beijing Jiaotong University, China"],"raw_orcid":"https://orcid.org/0000-0003-2222-3232","affiliations":[{"raw_affiliation_string":"Beijing Jiaotong University, Beijing, China","institution_ids":["https://openalex.org/I21193070"]},{"raw_affiliation_string":"Beijing Jiaotong University, China","institution_ids":["https://openalex.org/I21193070"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021486887","display_name":"Paolo Arcaini","orcid":"https://orcid.org/0000-0002-6253-4062"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Paolo Arcaini","raw_affiliation_strings":["National Institute of Informatics, Tokyo, Japan","National Institute of Informatics, Japan"],"raw_orcid":"https://orcid.org/0000-0002-6253-4062","affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]},{"raw_affiliation_string":"National Institute of Informatics, Japan","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008965782","display_name":"Mingyue Jiang","orcid":"https://orcid.org/0000-0002-0758-1616"},"institutions":[{"id":"https://openalex.org/I1328775524","display_name":"Zhejiang Sci-Tech University","ror":"https://ror.org/03893we55","country_code":"CN","type":"education","lineage":["https://openalex.org/I1328775524"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingyue Jiang","raw_affiliation_strings":["Zhejiang Sci-Tech University, Zhejiang, China","Zhejiang Sci-Tech University, China"],"raw_orcid":"https://orcid.org/0000-0002-0758-1616","affiliations":[{"raw_affiliation_string":"Zhejiang Sci-Tech University, Zhejiang, China","institution_ids":["https://openalex.org/I1328775524"]},{"raw_affiliation_string":"Zhejiang Sci-Tech University, China","institution_ids":["https://openalex.org/I1328775524"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100459073","display_name":"Zheng Zheng","orcid":"https://orcid.org/0000-0001-7922-9067"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zheng Zheng","raw_affiliation_strings":["Beihang University, Beijing, China","Beihang University, China"],"raw_orcid":"https://orcid.org/0000-0001-7922-9067","affiliations":[{"raw_affiliation_string":"Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"Beihang University, China","institution_ids":["https://openalex.org/I82880672"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.3441,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.93576741,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"33","issue":"8","first_page":"1","last_page":"37"},"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.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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","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"}},{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9861999750137329,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.7977770566940308},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.7573831081390381},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5366449356079102},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.501105785369873},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.49147021770477295},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3359316289424896},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.2020781934261322},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10201868414878845},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09332466125488281}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7977770566940308},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.7573831081390381},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5366449356079102},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.501105785369873},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.49147021770477295},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3359316289424896},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2020781934261322},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10201868414878845},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09332466125488281}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3669663","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3669663","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3669663","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"}],"best_oa_location":{"id":"doi:10.1145/3669663","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3669663","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3669663","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":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.41999998688697815}],"awards":[{"id":"https://openalex.org/G1100003544","display_name":null,"funder_award_id":"62372021","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1730135986","display_name":null,"funder_award_id":"61802349","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4399557806.pdf"},"referenced_works_count":69,"referenced_works":["https://openalex.org/W1104960690","https://openalex.org/W1499762049","https://openalex.org/W1989407213","https://openalex.org/W2034653530","https://openalex.org/W2041713059","https://openalex.org/W2117866489","https://openalex.org/W2123030512","https://openalex.org/W2136644454","https://openalex.org/W2156300645","https://openalex.org/W2162036145","https://openalex.org/W2166462345","https://openalex.org/W2241553860","https://openalex.org/W2324595780","https://openalex.org/W2605824764","https://openalex.org/W2782311202","https://openalex.org/W2886374915","https://openalex.org/W2888307014","https://openalex.org/W2896505116","https://openalex.org/W2903744551","https://openalex.org/W2903998385","https://openalex.org/W2913602408","https://openalex.org/W2914296650","https://openalex.org/W2914864020","https://openalex.org/W2917321477","https://openalex.org/W2949992533","https://openalex.org/W2962425620","https://openalex.org/W2963327228","https://openalex.org/W2969812409","https://openalex.org/W2970226826","https://openalex.org/W2994070200","https://openalex.org/W2998967952","https://openalex.org/W3000518573","https://openalex.org/W3037164939","https://openalex.org/W3041931538","https://openalex.org/W3042142399","https://openalex.org/W3044926166","https://openalex.org/W3084065756","https://openalex.org/W3087915284","https://openalex.org/W3091670144","https://openalex.org/W3099897542","https://openalex.org/W3120598935","https://openalex.org/W3123980807","https://openalex.org/W3124118940","https://openalex.org/W3130808919","https://openalex.org/W3163304474","https://openalex.org/W3171841353","https://openalex.org/W3193505628","https://openalex.org/W3198376353","https://openalex.org/W3215964339","https://openalex.org/W4214589259","https://openalex.org/W4214843709","https://openalex.org/W4229772528","https://openalex.org/W4285605356","https://openalex.org/W4285605699","https://openalex.org/W4289824822","https://openalex.org/W4291213652","https://openalex.org/W4298277474","https://openalex.org/W4309344467","https://openalex.org/W4313154583","https://openalex.org/W4318830406","https://openalex.org/W4362689599","https://openalex.org/W4379383180","https://openalex.org/W4379467729","https://openalex.org/W4382202651","https://openalex.org/W4382202860","https://openalex.org/W4382866962","https://openalex.org/W4384302737","https://openalex.org/W4387394760","https://openalex.org/W4399557806"],"related_works":["https://openalex.org/W2073713056","https://openalex.org/W2051487156","https://openalex.org/W3110702597","https://openalex.org/W2078761926","https://openalex.org/W2110441383","https://openalex.org/W2125620709","https://openalex.org/W2073681303","https://openalex.org/W1498872724","https://openalex.org/W4233149903","https://openalex.org/W4293864700"],"abstract_inverted_index":{"The":[0],"Multi-Agent":[1],"Path":[2],"Finding":[3],"(MAPF)":[4],"problem,":[5,46],"i.e.,":[6,47],"the":[7,27,34,44,65,79,82,127,133,136,140,146,180,183],"scheduling":[8],"of":[9,31,81,135,161,182,197],"multiple":[10],"agents":[11,66,131,138],"to":[12,26,78],"reach":[13,67],"their":[14,68],"destinations,":[15],"has":[16],"been":[17],"widely":[18],"investigated.":[19],"Testing":[20,108],"MAPF":[21,40,111,121],"systems":[22],"is":[23,49,72],"challenging,":[24],"due":[25],"complexity":[28],"and":[29,33,37,139],"variety":[30],"scenarios":[32],"agents\u2019":[35],"distribution":[36],"interaction.":[38],"Moreover,":[39,188],"testing":[41],"suffers":[42],"from":[43,145],"oracle":[45],"it":[48],"not":[50,73,92,173],"always":[51],"clear":[52],"whether":[53,64],"a":[54,57,106,120],"test":[55,152,186],"shows":[56],"failure":[58],"or":[59],"not.":[60],"Indeed,":[61],"only":[62,178],"considering":[63],"destinations":[69],"without":[70],"collision":[71],"sufficient.":[74],"Other":[75],"properties":[76],"related":[77],"\u2018quality\u2019":[80],"generated":[83],"paths":[84],"should":[85,91,123],"be":[86],"assessed,":[87],"e.g.,":[88],"an":[89,94],"agent":[90],"follow":[93],"unnecessarily":[95],"long":[96],"path.":[97],"To":[98],"tackle":[99],"this":[100,102],"issue,":[101],"article":[103],"proposes":[104],"MET-MAPF,":[105],"Metamorphic":[107,116],"approach":[109],"for":[110],"systems.":[112],"We":[113],"identified":[114],"10":[115],"Relations":[117],"(MRs)":[118],"that":[119,166,177,191],"system":[122],"guarantee,":[124],"designed":[125],"over":[126],"environment":[128],"in":[129],"which":[130],"operate,":[132],"behaviour":[134],"single":[137],"interactions":[141],"among":[142],"agents.":[143],"Starting":[144],"different":[147,159,192,195],"MRs,":[148],"MET-MAPF":[149,167],"automatically":[150],"generates":[151],"cases":[153],"addressing":[154],"them,":[155],"so":[156],"possibly":[157],"exposing":[158],"types":[160,196],"failures.":[162],"Experimental":[163],"results":[164],"show":[165,190],"can":[168],"indeed":[169],"find":[170],"MR":[171],"violations":[172],"exposed":[174],"by":[175],"approaches":[176],"consider":[179],"completion":[181],"mission":[184],"as":[185],"oracle.":[187],"experiments":[189],"MRs":[193],"expose":[194],"violations.":[198]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}