{"id":"https://openalex.org/W4396826966","doi":"https://doi.org/10.1145/3664604","title":"Automatic Repair of Quantum Programs via Unitary Operation","display_name":"Automatic Repair of Quantum Programs via Unitary Operation","publication_year":2024,"publication_date":"2024-05-11","ids":{"openalex":"https://openalex.org/W4396826966","doi":"https://doi.org/10.1145/3664604"},"language":"en","primary_location":{"id":"doi:10.1145/3664604","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3664604","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3664604","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/3664604","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037960367","display_name":"Yuechen Li","orcid":"https://orcid.org/0009-0006-5109-3288"},"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":true,"raw_author_name":"Yuechen Li","raw_affiliation_strings":["School of Automation Science and Electrical Engineering, Beihang University, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0006-5109-3288","affiliations":[{"raw_affiliation_string":"School of Automation Science and Electrical Engineering, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068472466","display_name":"Hanyu Pei","orcid":"https://orcid.org/0000-0001-9893-9814"},"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":"Hanyu Pei","raw_affiliation_strings":["School of Automation Science and Electrical Engineering, Beihang University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-9893-9814","affiliations":[{"raw_affiliation_string":"School of Automation Science and Electrical Engineering, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103099793","display_name":"Lin Huang","orcid":"https://orcid.org/0009-0005-2632-9511"},"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":"Linzhi Huang","raw_affiliation_strings":["School of Automation Science and Electrical Engineering, Beihang University, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0005-2632-9511","affiliations":[{"raw_affiliation_string":"School of Automation Science and Electrical Engineering, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036071851","display_name":"Beibei Yin","orcid":null},"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":"Beibei Yin","raw_affiliation_strings":["School of Automation Science and Electrical Engineering, Beihang University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-8938-1203","affiliations":[{"raw_affiliation_string":"School of Automation Science and Electrical Engineering, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029675265","display_name":"Kai-Yuan Cai","orcid":"https://orcid.org/0000-0002-4546-2407"},"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":"Kai-Yuan Cai","raw_affiliation_strings":["School of Automation Science and Electrical Engineering, Beihang University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-4546-2407","affiliations":[{"raw_affiliation_string":"School of Automation Science and Electrical Engineering, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5037960367"],"corresponding_institution_ids":["https://openalex.org/I82880672"],"apc_list":null,"apc_paid":null,"fwci":3.5448,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.93624508,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"33","issue":"6","first_page":"1","last_page":"43"},"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.9993000030517578,"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.9993000030517578,"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.9969000220298767,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9962999820709229,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7492930889129639},{"id":"https://openalex.org/keywords/unitary-state","display_name":"Unitary state","score":0.6387633085250854},{"id":"https://openalex.org/keywords/superposition-principle","display_name":"Superposition principle","score":0.6149424314498901},{"id":"https://openalex.org/keywords/quantum-entanglement","display_name":"Quantum entanglement","score":0.603466808795929},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5160576701164246},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.46160048246383667},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4173800051212311},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.37263429164886475},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3512774109840393},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33661574125289917},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21678438782691956},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.12589368224143982},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12374573945999146},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.11268770694732666}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7492930889129639},{"id":"https://openalex.org/C67820243","wikidata":"https://www.wikidata.org/wiki/Q179164","display_name":"Unitary state","level":2,"score":0.6387633085250854},{"id":"https://openalex.org/C27753989","wikidata":"https://www.wikidata.org/wiki/Q284885","display_name":"Superposition principle","level":2,"score":0.6149424314498901},{"id":"https://openalex.org/C121040770","wikidata":"https://www.wikidata.org/wiki/Q215675","display_name":"Quantum entanglement","level":3,"score":0.603466808795929},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5160576701164246},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.46160048246383667},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4173800051212311},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.37263429164886475},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3512774109840393},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33661574125289917},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21678438782691956},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.12589368224143982},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12374573945999146},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.11268770694732666},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3664604","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3664604","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3664604","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/3664604","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3664604","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3664604","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/9","score":0.47999998927116394,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4396826966.pdf"},"referenced_works_count":64,"referenced_works":["https://openalex.org/W1524053243","https://openalex.org/W1965471276","https://openalex.org/W1977696633","https://openalex.org/W1986544324","https://openalex.org/W2060333670","https://openalex.org/W2071112258","https://openalex.org/W2095768925","https://openalex.org/W2096905893","https://openalex.org/W2101819268","https://openalex.org/W2106570504","https://openalex.org/W2122947685","https://openalex.org/W2143522309","https://openalex.org/W2144575244","https://openalex.org/W2156723666","https://openalex.org/W2179731956","https://openalex.org/W2189122526","https://openalex.org/W2274071363","https://openalex.org/W2373227884","https://openalex.org/W2519881488","https://openalex.org/W2807730630","https://openalex.org/W2867448323","https://openalex.org/W2906649690","https://openalex.org/W2924629359","https://openalex.org/W2950018366","https://openalex.org/W2962708851","https://openalex.org/W2994855135","https://openalex.org/W3004040842","https://openalex.org/W3007765404","https://openalex.org/W3041931538","https://openalex.org/W3088977116","https://openalex.org/W3098152511","https://openalex.org/W3102636246","https://openalex.org/W3166070894","https://openalex.org/W3167517084","https://openalex.org/W3185543386","https://openalex.org/W3193682477","https://openalex.org/W3194622097","https://openalex.org/W3197245022","https://openalex.org/W4200288893","https://openalex.org/W4205876794","https://openalex.org/W4206422925","https://openalex.org/W4210611527","https://openalex.org/W4224903456","https://openalex.org/W4225847927","https://openalex.org/W4226230110","https://openalex.org/W4231241365","https://openalex.org/W4237602468","https://openalex.org/W4253421990","https://openalex.org/W4285490377","https://openalex.org/W4286530559","https://openalex.org/W4288044869","https://openalex.org/W4288774103","https://openalex.org/W4296461241","https://openalex.org/W4313116689","https://openalex.org/W4327594616","https://openalex.org/W4384938773","https://openalex.org/W4386616993","https://openalex.org/W4388483544","https://openalex.org/W4393992776","https://openalex.org/W4398785913","https://openalex.org/W4401365370","https://openalex.org/W6819811686","https://openalex.org/W6861098403","https://openalex.org/W6912284476"],"related_works":["https://openalex.org/W4308749380","https://openalex.org/W2037841693","https://openalex.org/W2372481764","https://openalex.org/W1977264433","https://openalex.org/W2746368218","https://openalex.org/W4308448008","https://openalex.org/W2347371661","https://openalex.org/W2012943989","https://openalex.org/W3005471417","https://openalex.org/W2287286086"],"abstract_inverted_index":{"With":[0],"the":[1,8,24,39,45,59,80,88,100,104,113,120,126,130,133,147,162,174,184,189,197],"continuous":[2],"advancement":[3],"of":[4,26,41,61,82,115,122,128,192,199],"quantum":[5,12],"computing":[6],"(QC),":[7],"demand":[9],"for":[10,48,99],"high-quality":[11],"programs":[13,145],"(QPs)":[14],"is":[15,52],"growing.":[16],"To":[17],"avoid":[18],"program":[19,28],"failure,":[20],"in":[21,86,196],"software":[22],"engineering,":[23],"technology":[25],"automatic":[27],"repair":[29,72,101],"(APR)":[30],"employs":[31],"appropriate":[32],"patches":[33,117],"to":[34,58,161],"remove":[35],"potential":[36],"bugs":[37],"without":[38],"intervention":[40],"a":[42,64,96],"human.":[43],"However,":[44],"method":[46,67,172],"tailored":[47],"repairing":[49],"defective":[50],"QPs":[51,73],"still":[53],"absent.":[54],"This":[55],"article":[56,89,105,134],"proposes,":[57],"best":[60],"our":[62],"knowledge,":[63],"new":[65],"APR":[66,153,181],"named":[68],"UnitAR":[69,164,200],"that":[70,109],"can":[71,110,165],"via":[74],"unitary":[75],"operation":[76],"automatically.":[77],"Based":[78],"on":[79],"characteristics":[81],"superposition":[83],"and":[84,94,118,149,156,170,177],"entanglement":[85],"QC,":[87],"constructs":[90],"an":[91],"algebraic":[92],"model":[93],"adopts":[95],"generate-and-validate":[97],"approach":[98],"procedure.":[102],"Furthermore,":[103],"presents":[106],"two":[107,151,193],"schemes":[108],"respectively":[111],"promote":[112],"efficiency":[114,176],"generating":[116],"guarantee":[119],"effectiveness":[121,178],"applying":[123],"patches.":[124],"For":[125],"purpose":[127],"evaluating":[129],"proposed":[131],"method,":[132],"selects":[135],"29":[136],"mutated":[137],"versions":[138],"as":[139,141,146,158],"well":[140],"five":[142],"real-world":[143],"buggy":[144,168],"objects":[148],"introduces":[150],"traditional":[152],"approaches":[154],"GenProg":[155],"TBar":[157],"baselines.":[159],"According":[160],"experiments,":[163],"fix":[166],"23":[167],"programs,":[169],"this":[171],"demonstrates":[173],"highest":[175],"among":[179],"three":[180],"approaches.":[182],"Besides,":[183],"experimental":[185],"results":[186],"further":[187],"manifest":[188],"crucial":[190],"roles":[191],"constituents":[194],"involved":[195],"framework":[198],".":[201]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}