{"id":"https://openalex.org/W4403536551","doi":"https://doi.org/10.1145/3691620.3695275","title":"Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers","display_name":"Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers","publication_year":2024,"publication_date":"2024-10-18","ids":{"openalex":"https://openalex.org/W4403536551","doi":"https://doi.org/10.1145/3691620.3695275"},"language":"en","primary_location":{"id":"doi:10.1145/3691620.3695275","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3691620.3695275","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092372416","display_name":"Asmar Muqeet","orcid":"https://orcid.org/0000-0003-2620-3167"},"institutions":[{"id":"https://openalex.org/I2799829267","display_name":"Simula Research Laboratory","ror":"https://ror.org/00vn06n10","country_code":"NO","type":"facility","lineage":["https://openalex.org/I2799829267"]},{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":true,"raw_author_name":"Asmar Muqeet","raw_affiliation_strings":["Simula Research Laboratory and University of Oslo, Oslo, Norway"],"affiliations":[{"raw_affiliation_string":"Simula Research Laboratory and University of Oslo, Oslo, Norway","institution_ids":["https://openalex.org/I2799829267","https://openalex.org/I184942183"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076142098","display_name":"Shaukat Ali","orcid":"https://orcid.org/0000-0002-9979-3519"},"institutions":[{"id":"https://openalex.org/I2799829267","display_name":"Simula Research Laboratory","ror":"https://ror.org/00vn06n10","country_code":"NO","type":"facility","lineage":["https://openalex.org/I2799829267"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Shaukat Ali","raw_affiliation_strings":["Simula Research Laboratory and Oslo Metropolitan University, Oslo, Norway"],"affiliations":[{"raw_affiliation_string":"Simula Research Laboratory and Oslo Metropolitan University, Oslo, Norway","institution_ids":["https://openalex.org/I2799829267"]}]},{"author_position":"last","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"],"affiliations":[{"raw_affiliation_string":"National Institute of Informatics, Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5092372416"],"corresponding_institution_ids":["https://openalex.org/I184942183","https://openalex.org/I2799829267"],"apc_list":null,"apc_paid":null,"fwci":1.8185,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.87707017,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"2130","last_page":"2141"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10020","display_name":"Quantum Information and Cryptography","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9824000000953674,"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/ibm","display_name":"IBM","score":0.7551779747009277},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.6545137763023376},{"id":"https://openalex.org/keywords/pauli-exclusion-principle","display_name":"Pauli exclusion principle","score":0.6347830295562744},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6315776109695435},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.47304433584213257},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.34666353464126587},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.2348179817199707}],"concepts":[{"id":"https://openalex.org/C70388272","wikidata":"https://www.wikidata.org/wiki/Q5968558","display_name":"IBM","level":2,"score":0.7551779747009277},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.6545137763023376},{"id":"https://openalex.org/C110340908","wikidata":"https://www.wikidata.org/wiki/Q131594","display_name":"Pauli exclusion principle","level":2,"score":0.6347830295562744},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6315776109695435},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.47304433584213257},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.34666353464126587},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.2348179817199707},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3691620.3695275","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3691620.3695275","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1716091338","display_name":null,"funder_award_id":"JPMJMI20B8","funder_id":"https://openalex.org/F4320338243","funder_display_name":"JST-Mirai Program"}],"funders":[{"id":"https://openalex.org/F4320338243","display_name":"JST-Mirai Program","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1977321274","https://openalex.org/W1997648776","https://openalex.org/W2111428462","https://openalex.org/W2764942935","https://openalex.org/W2950018366","https://openalex.org/W3003486108","https://openalex.org/W3088977116","https://openalex.org/W3089560421","https://openalex.org/W3154524778","https://openalex.org/W3166070894","https://openalex.org/W3167517084","https://openalex.org/W3185325938","https://openalex.org/W3185543386","https://openalex.org/W3211721489","https://openalex.org/W4200429694","https://openalex.org/W4205868343","https://openalex.org/W4206422925","https://openalex.org/W4210841700","https://openalex.org/W4224903456","https://openalex.org/W4226230110","https://openalex.org/W4229772528","https://openalex.org/W4236246046","https://openalex.org/W4285337083","https://openalex.org/W4285490377","https://openalex.org/W4286530559","https://openalex.org/W4288044869","https://openalex.org/W4292229444","https://openalex.org/W4301394264","https://openalex.org/W4301494323","https://openalex.org/W4317375828","https://openalex.org/W4318830406","https://openalex.org/W4318832142","https://openalex.org/W4382766256","https://openalex.org/W4388483427","https://openalex.org/W4389672456","https://openalex.org/W4391243948","https://openalex.org/W4392877631","https://openalex.org/W4393992776","https://openalex.org/W4400484592"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2935759653","https://openalex.org/W3105167352","https://openalex.org/W54078636","https://openalex.org/W2954470139","https://openalex.org/W1501425562","https://openalex.org/W2902782467","https://openalex.org/W3084825885","https://openalex.org/W2298861036","https://openalex.org/W3034653840"],"abstract_inverted_index":{"The":[0],"most":[1,49],"promising":[2],"applications":[3],"of":[4,104,157,164,212],"quantum":[5,22,29,47,95,116,149,175,187,222],"computing":[6],"are":[7,72],"centered":[8],"around":[9],"solving":[10],"search":[11],"and":[12,24,69,138,204,227],"optimization":[13],"tasks,":[14],"particularly":[15],"in":[16,38,177,192],"fields":[17],"such":[18,133],"as":[19,134],"physics":[20],"simulations,":[21],"chemistry,":[23],"finance.":[25],"However,":[26],"the":[27,52,154,162,197,209],"current":[28],"software":[30,96],"testing":[31,97,145,173],"methods":[32,77,143],"face":[33],"practical":[34,171],"limitations":[35],"when":[36],"applied":[37],"industrial":[39,131,178,210,226],"contexts:":[40],"(i)":[41],"they":[42,55,71],"do":[43],"not":[44,64],"apply":[45],"to":[46,51,111,160,196],"programs":[48,176],"relevant":[50],"industry,":[53],"(ii)":[54],"require":[56],"a":[57,93,101,121,200],"full":[58],"program":[59,167],"specification,":[60],"which":[61],"is":[62],"usually":[63],"available":[65],"for":[66,144,172],"these":[67,88],"programs,":[68,188],"(iii)":[70],"incompatible":[73],"with":[74,114,130,199],"error":[75,141,229],"mitigation":[76,142,230],"currently":[78],"adopted":[79],"by":[80,214],"main":[81],"industry":[82],"actors":[83],"like":[84],"IBM.":[85],"To":[86],"address":[87],"challenges,":[89],"we":[90,207],"present":[91],"QOPS,":[92],"novel":[94],"approach.":[98],"QOPS":[99,118,170,183,213],"introduces":[100,120],"new":[102,122],"definition":[103],"test":[105,123,193],"cases":[106],"based":[107],"on":[108,146,184,218],"Pauli":[109,158],"strings":[110,159],"improve":[112],"compatibility":[113],"different":[115],"programs.":[117],"also":[119,152],"oracle":[124],"that":[125],"can":[126,139],"be":[127],"directly":[128],"integrated":[129],"APIs":[132],"IBM's":[135,219],"Estimator":[136],"API":[137],"utilize":[140],"real":[147,186,221],"noisy":[148],"computers.":[150],"We":[151,180],"leverage":[153],"commuting":[155],"property":[156],"relax":[161],"requirement":[163],"having":[165],"complete":[166],"specifications,":[168],"making":[169],"complex":[174],"settings.":[179],"empirically":[181],"evaluate":[182],"194,982":[185],"demonstrating":[189],"effective":[190],"performance":[191,217],"assessment":[194],"compared":[195],"state-of-the-art":[198],"perfect":[201],"F1-score,":[202],"precision,":[203],"recall.":[205],"Furthermore,":[206],"validate":[208],"applicability":[211],"assessing":[215],"its":[216],"three":[220],"computers,":[223],"incorporating":[224],"both":[225],"open-source":[228],"methods.":[231]},"counts_by_year":[{"year":2025,"cited_by_count":5}],"updated_date":"2025-12-27T23:08:20.325037","created_date":"2025-10-10T00:00:00"}