{"id":"https://openalex.org/W7158976729","doi":"https://doi.org/10.48550/arxiv.2604.26609","title":"Probabilistic Condition, Decision and Path Coverage of Circuit-based Quantum Programs","display_name":"Probabilistic Condition, Decision and Path Coverage of Circuit-based Quantum Programs","publication_year":2026,"publication_date":"2026-04-29","ids":{"openalex":"https://openalex.org/W7158976729","doi":"https://doi.org/10.48550/arxiv.2604.26609"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.26609","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.26609","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.2604.26609","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001092317","display_name":"Daniel Fortunato","orcid":"https://orcid.org/0000-0003-2596-6859"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fortunato, Daniel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123538583","display_name":"Jose Campos","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Campos, Jos\u00e9","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5134900182","display_name":"Rui Abreu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Abreu, Rui","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.9656999707221985,"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.9656999707221985,"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.00430000014603138,"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.003700000001117587,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.8644000291824341},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.7235999703407288},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.5963000059127808},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5916000008583069},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5465999841690063},{"id":"https://openalex.org/keywords/statistical-model","display_name":"Statistical model","score":0.31439998745918274},{"id":"https://openalex.org/keywords/probabilistic-method","display_name":"Probabilistic method","score":0.3093999922275543}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8644000291824341},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.7235999703407288},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.5963000059127808},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5916000008583069},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5465999841690063},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5209000110626221},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3991999924182892},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.362199991941452},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.325300008058548},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.31439998745918274},{"id":"https://openalex.org/C60782215","wikidata":"https://www.wikidata.org/wiki/Q3333679","display_name":"Probabilistic method","level":3,"score":0.3093999922275543},{"id":"https://openalex.org/C148220186","wikidata":"https://www.wikidata.org/wiki/Q7111912","display_name":"Outcome (game theory)","level":2,"score":0.29919999837875366},{"id":"https://openalex.org/C87007009","wikidata":"https://www.wikidata.org/wiki/Q210832","display_name":"Statistical hypothesis testing","level":2,"score":0.27480000257492065},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.25859999656677246},{"id":"https://openalex.org/C169903167","wikidata":"https://www.wikidata.org/wiki/Q3985153","display_name":"Test set","level":2,"score":0.2547999918460846},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.25209999084472656},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.251800000667572},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.25029999017715454}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.26609","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.26609","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.2604.26609","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.26609","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":[{"display_name":"Peace, Justice and strong institutions","score":0.8107841610908508,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Coverage":[0],"criteria":[1,32,57,66],"play":[2],"a":[3,52,68,138],"central":[4],"role":[5],"in":[6,10,105,173],"assessing":[7],"test":[8],"adequacy":[9],"classical":[11,47,174],"software,":[12],"yet":[13],"their":[14,40,46],"effectiveness":[15],"for":[16,58,122,145],"quantum":[17,60,127],"programs":[18],"remains":[19,101],"poorly":[20],"understood":[21],"and":[22,36,39,70,76,91,95,116,143,148,167],"largely":[23],"unexplored.":[24],"In":[25],"this":[26],"paper,":[27],"we":[28,129,158],"propose":[29],"six":[30],"quantum-tailored":[31],"-":[33,43],"condition,":[34,146],"decision,":[35,147],"path":[37,99,114,149],"coverage,":[38,132,150,169],"probabilistic":[41,124,131],"variants":[42],"adapted":[44],"from":[45],"counterparts.":[48],"We":[49,62],"present":[50],"QaCoCo,":[51],"tool":[53],"that":[54,84],"computes":[55],"these":[56,65],"circuit-based":[59],"programs.":[61],"empirically":[63],"evaluate":[64],"on":[67,97,152],"large":[69],"diverse":[71],"set":[72],"of":[73,108,126],"540":[74],"circuits":[75,86],"analyze":[77],"the":[78,106,123],"coverage":[79,93,100,117,136],"achieved.":[80],"Our":[81],"results":[82],"show":[83],"while":[85],"frequently":[87],"achieve":[88],"high":[89],"condition":[90],"decision":[92],"(97.56%":[94],"97.63%,":[96],"average),":[98],"limited":[102],"(71.84%),":[103],"particularly":[104],"presence":[107],"multi-controlled":[109],"gates,":[110],"which":[111,133],"induce":[112],"extreme":[113],"explosion":[115],"imbalance.":[118],"Moreover,":[119],"to":[120],"account":[121],"nature":[125],"circuits,":[128],"introduce":[130],"augments":[134],"structural":[135,168],"with":[137,171],"confidence":[139],"measure":[140],"(88.87%,":[141],"88.65%,":[142],"37.18%":[144],"respectively,":[151],"average).":[153],"Finally,":[154],"through":[155],"mutation":[156],"testing,":[157],"find":[159],"weak":[160],"or":[161],"no":[162],"correlation":[163],"between":[164],"fault":[165],"detection":[166],"consistent":[170],"observations":[172],"computing.":[175]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-01T00:00:00"}