{"id":"https://openalex.org/W7160434317","doi":"https://doi.org/10.48550/arxiv.2605.03957","title":"Randomized and Diverse Input State Generation for Quantum Program Testing","display_name":"Randomized and Diverse Input State Generation for Quantum Program Testing","publication_year":2026,"publication_date":"2026-05-05","ids":{"openalex":"https://openalex.org/W7160434317","doi":"https://doi.org/10.48550/arxiv.2605.03957"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.03957","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.03957","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":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.03957","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072988922","display_name":"Maryse Ernzer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ernzer, Maryse","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088550214","display_name":"Seung Yeob Shin","orcid":"https://orcid.org/0000-0001-9025-7173"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shin, Seung Yeob","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135456147","display_name":"Fabrizio Pastore","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pastore, Fabrizio","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5038017715","display_name":"Domenico Bianculli","orcid":"https://orcid.org/0000-0002-4854-685X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bianculli, Domenico","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"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.9391000270843506,"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.9391000270843506,"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.010099999606609344,"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/T10622","display_name":"Quantum Mechanics and Applications","score":0.004399999976158142,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/quantum-entanglement","display_name":"Quantum entanglement","score":0.6597999930381775},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.559499979019165},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5013999938964844},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.48910000920295715},{"id":"https://openalex.org/keywords/quantum-state","display_name":"Quantum state","score":0.47200000286102295},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4625999927520752},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4514000117778778},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4056999981403351},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.38260000944137573}],"concepts":[{"id":"https://openalex.org/C121040770","wikidata":"https://www.wikidata.org/wiki/Q215675","display_name":"Quantum entanglement","level":3,"score":0.6597999930381775},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6018999814987183},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.559499979019165},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5013999938964844},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48910000920295715},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.47200000286102295},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4625999927520752},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4514000117778778},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4056999981403351},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.38260000944137573},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.37929999828338623},{"id":"https://openalex.org/C201866948","wikidata":"https://www.wikidata.org/wiki/Q228206","display_name":"Random number generation","level":2,"score":0.3594000041484833},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.35580000281333923},{"id":"https://openalex.org/C190463098","wikidata":"https://www.wikidata.org/wiki/Q2081419","display_name":"Quantum technology","level":4,"score":0.34459999203681946},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.310699999332428},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3059000074863434},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.3043999969959259},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.29280000925064087},{"id":"https://openalex.org/C95466800","wikidata":"https://www.wikidata.org/wiki/Q1027298","display_name":"Quantum key distribution","level":3,"score":0.2833999991416931},{"id":"https://openalex.org/C2778926657","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum system","level":3,"score":0.2818000018596649},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26930001378059387},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.26190000772476196},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.2596000134944916},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.25870001316070557},{"id":"https://openalex.org/C186468114","wikidata":"https://www.wikidata.org/wiki/Q836478","display_name":"Quantum network","level":4,"score":0.25619998574256897},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.2533999979496002}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.03957","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.03957","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":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.03957","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.03957","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":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"With":[0],"the":[1,27,30,53,61,65,76,107,130,134,166,189,205,209,213,226,233],"accelerating":[2],"development":[3],"of":[4,29,55,64,78,106,119,129,195,221],"quantum":[5,12,32,66,108,214],"technologies":[6],"and":[7,19,50,126,192,198,218,240],"their":[8,104,174],"growing":[9],"computational":[10],"potential,":[11],"systems":[13],"are":[14],"being":[15],"adapted":[16],"for":[17,70,96],"simulations":[18],"other":[20],"critical":[21],"tasks":[22],"across":[23],"diverse":[24],"domains,":[25],"making":[26],"reliability":[28],"corresponding":[31],"software":[33,59],"an":[34],"essential":[35],"concern.":[36],"Although":[37],"recent":[38],"efforts":[39],"have":[40],"started":[41],"to":[42,103,132,156,176,211,225],"incorporate":[43],"quantum-specific":[44],"properties":[45],"such":[46],"as":[47,208],"magnitude,":[48,196],"phase,":[49],"entanglement":[51,241],"under":[52],"form":[54],"input-coverage":[56],"criteria":[57],"into":[58],"testing,":[60],"unique":[62],"structure":[63],"state":[67,109,135,215],"space":[68,136,216],"demands":[69],"more":[71],"comprehensive":[72],"testing.":[73],"In":[74],"particular,":[75],"notion":[77],"complete":[79],"state-space":[80],"exploration":[81],"has":[82],"so":[83],"far":[84],"received":[85],"little":[86],"attention.":[87],"To":[88],"address":[89],"this":[90],"gap,":[91],"we":[92,115,139,164,203],"propose":[93,140],"a":[94,117,141,151],"framework":[95],"evaluating":[97],"test":[98,142,147,181],"circuit":[99,143,248],"generators":[100,171,223],"with":[101,169],"respect":[102],"coverage":[105],"space.":[110],"Our":[111,184,229],"contribution":[112],"is":[113,137],"threefold:":[114],"develop":[116],"set":[118],"diversity":[120,186],"scores":[121,187],"that":[122,145,232],"capture":[123],"both":[124],"local":[125,190],"global":[127,193],"indicators":[128],"extent":[131],"which":[133],"explored;":[138],"generator":[144,236],"produces":[146],"input":[148,182],"states":[149,160],"via":[150],"Brick-Circuit":[152],"(BC)":[153],"construction":[154,168],"designed":[155],"approximate":[157],"ideal":[158],"random":[159,180],"using":[161],"hardware-compatible":[162,234],"gates;":[163],"compare":[165],"proposed":[167],"existing":[170,222,247],"based":[172],"on":[173],"ability":[175],"generate":[177],"uniformly":[178],"distributed":[179],"states.":[183],"extended":[185],"quantify":[188],"correlations":[191],"spread":[194],"phase":[197],"entanglement.":[199],"Using":[200],"these":[201],"scores,":[202],"evaluate":[204],"expressibility,":[206],"defined":[207],"capability":[210],"span":[212],"uniformly,":[217],"entangling":[219],"capabilities":[220],"relative":[224],"BC":[227,235],"generator.":[228],"results":[230],"show":[231],"achieves":[237],"higher":[238],"expressibility":[239],"performance":[242],"at":[243],"shallower":[244],"depths":[245],"than":[246],"generators.":[249]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-07T00:00:00"}