{"id":"https://openalex.org/W7127328010","doi":"https://doi.org/10.48550/arxiv.2602.00024","title":"QSPE: Enumerating Skeletal Quantum Programs for Quantum Library Testing","display_name":"QSPE: Enumerating Skeletal Quantum Programs for Quantum Library Testing","publication_year":2026,"publication_date":"2026-01-17","ids":{"openalex":"https://openalex.org/W7127328010","doi":"https://doi.org/10.48550/arxiv.2602.00024"},"language":null,"primary_location":{"id":"pmh:doi:10.48550/arxiv.2602.00024","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5124905575","display_name":"Jiaming Ye","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ye, Jiaming","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101905312","display_name":"Fuyuan Zhang","orcid":"https://orcid.org/0009-0001-6560-5102"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Fuyuan","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102249796","display_name":"Shangzhou Xia","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xia, Shangzhou","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115591918","display_name":"Xiaoyu Guo","orcid":"https://orcid.org/0009-0008-1773-1789"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guo, Xiaoyu","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100573933","display_name":"Xiongfei Wu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wu, Xiongfei","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124897798","display_name":"Jianjun Zhao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhao, Jianjun","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5083669929","display_name":"Yinxing Xue","orcid":"https://orcid.org/0000-0002-2979-7151"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xue, Yinxing","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5124905575"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.8924999833106995,"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.8924999833106995,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.02889999933540821,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.009499999694526196,"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/correctness","display_name":"Correctness","score":0.7814000248908997},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6542999744415283},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6389999985694885},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5720999836921692},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.47780001163482666},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4496000111103058},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.3734000027179718}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7814000248908997},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7069000005722046},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6542999744415283},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6389999985694885},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5720999836921692},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.47780001163482666},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4496000111103058},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41850000619888306},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.3734000027179718},{"id":"https://openalex.org/C102565666","wikidata":"https://www.wikidata.org/wiki/Q1378301","display_name":"Universal set","level":3,"score":0.3716000020503998},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.3400000035762787},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.32919999957084656},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.326200008392334},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.3149000108242035},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.29350000619888306},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.28290000557899475},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.2721000015735626},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2687000036239624}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.48550/arxiv.2602.00024","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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"},{"id":"doi:10.48550/arxiv.2602.00024","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.00024","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:doi:10.48550/arxiv.2602.00024","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,41],"rapid":[1],"advancement":[2],"of":[3,11,26,37,125,192,217,236],"quantum":[4,13,105,133,169,177,213],"computing":[5,170],"has":[6],"led":[7],"to":[8,34,150,202],"the":[9,24,35,94,100,132,138,156,176,196,218,228,233],"development":[10,230],"various":[12],"libraries,":[14],"empowering":[15],"compilation,":[16],"simulation,":[17],"and":[18,49,56,98,118,178,187,206,225],"hardware":[19],"backend":[20],"interfaces.":[21],"However,":[22],"ensuring":[23],"correctness":[25],"these":[27,62,84],"libraries":[28],"remains":[29],"a":[30,89,122],"fundamental":[31],"challenge":[32],"due":[33],"lack":[36],"mature":[38],"testing":[39,96],"methodologies.":[40],"state-of-the-art":[42],"tools":[43,63],"often":[44],"rely":[45],"on":[46],"domain-specific":[47],"configurations":[48,114],"expert":[50],"knowledge,":[51],"which":[52,75],"limits":[53],"their":[54],"accessibility":[55],"scalability":[57],"in":[58,73,162],"practice.":[59],"Furthermore,":[60],"although":[61],"demonstrate":[64],"strong":[65],"performance,":[66],"they":[67],"adopt":[68],"measurement-based":[69,151],"for":[70,104],"output":[71],"validation":[72,146,198],"testing,":[74],"makes":[76],"them":[77],"produce":[78],"false":[79,140,204],"positive":[80,141],"reports.":[81],"To":[82,136],"alleviate":[83],"limitations,":[85],"we":[86,143],"propose":[87,144],"QSPE,":[88],"practical":[90,234],"approach":[91,158],"that":[92,129],"follows":[93],"differential":[95],"principle":[97],"extends":[99],"existing":[101],"approach,":[102],"SPE,":[103],"libraries.":[106,214],"QSPE":[107,157,182,201],"is":[108],"fully":[109],"automated,":[110],"requiring":[111],"no":[112],"pre-set":[113],"or":[115],"domain":[116],"expertise,":[117],"can":[119,183],"effectively":[120,207],"generate":[121],"large":[123],"set":[124],"diverse":[126],"program":[127,165,180],"variants":[128,166],"comprehensively":[130],"explore":[131],"compilation":[134],"space.":[135],"mitigate":[137],"possible":[139],"reports,":[142],"statevector-based":[145,197],"as":[147],"an":[148],"alternative":[149],"validation.":[152],"In":[153],"our":[154,237],"experiments,":[155],"demonstrates":[159],"remarkable":[160],"effectiveness":[161],"generating":[163],"22,770":[164],"across":[167,211],"multiple":[168,212],"platforms.":[171],"By":[172],"avoiding":[173],"$\u03b1$-equivalence":[174],"at":[175],"classical":[179],"wise,":[181],"reduce":[184,203],"redundant":[185],"generation":[186],"save":[188],"more":[189],"than":[190],"90\\%":[191],"execution":[193],"cost.":[194],"Finally,":[195],"method":[199],"assists":[200],"alarms":[205],"detects":[208],"708":[209],"miscompilations":[210],"Notably,":[215],"81":[216],"discovered":[219],"bugs":[220],"have":[221],"been":[222],"officially":[223],"approved":[224],"acknowledged":[226],"by":[227],"Qiskit":[229],"team,":[231],"demonstrating":[232],"impact":[235],"approach.":[238]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2026-02-04T00:00:00"}