{"id":"https://openalex.org/W7133751264","doi":"https://doi.org/10.1007/s11128-026-05114-3","title":"Schr\u00f6dinger\u2019s bug: a survey on quantum software debugging","display_name":"Schr\u00f6dinger\u2019s bug: a survey on quantum software debugging","publication_year":2026,"publication_date":"2026-03-05","ids":{"openalex":"https://openalex.org/W7133751264","doi":"https://doi.org/10.1007/s11128-026-05114-3"},"language":"en","primary_location":{"id":"doi:10.1007/s11128-026-05114-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11128-026-05114-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11128-026-05114-3.pdf","source":{"id":"https://openalex.org/S92819544","display_name":"Quantum Information Processing","issn_l":"1570-0755","issn":["1570-0755","1573-1332"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum Information Processing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11128-026-05114-3.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5128133156","display_name":"Evandro Rosa","orcid":null},"institutions":[{"id":"https://openalex.org/I4104125","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887","country_code":"BR","type":"education","lineage":["https://openalex.org/I4104125"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Evandro Rosa","raw_affiliation_strings":["Departamento de Informatica e Estatistica, Universidade Federal de Santa Catarina, R. Eng. Agron\u00f4mico Andrei Cristian Ferreira, Florian\u00f3polis, 88040-900, Santa Catarina, Brazil"],"affiliations":[{"raw_affiliation_string":"Departamento de Informatica e Estatistica, Universidade Federal de Santa Catarina, R. Eng. Agron\u00f4mico Andrei Cristian Ferreira, Florian\u00f3polis, 88040-900, Santa Catarina, Brazil","institution_ids":["https://openalex.org/I4104125"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5128213748","display_name":"Rafael Santiago","orcid":null},"institutions":[{"id":"https://openalex.org/I4104125","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887","country_code":"BR","type":"education","lineage":["https://openalex.org/I4104125"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Rafael Santiago","raw_affiliation_strings":["Departamento de Informatica e Estatistica, Universidade Federal de Santa Catarina, R. Eng. Agron\u00f4mico Andrei Cristian Ferreira, Florian\u00f3polis, 88040-900, Santa Catarina, Brazil"],"affiliations":[{"raw_affiliation_string":"Departamento de Informatica e Estatistica, Universidade Federal de Santa Catarina, R. Eng. Agron\u00f4mico Andrei Cristian Ferreira, Florian\u00f3polis, 88040-900, Santa Catarina, Brazil","institution_ids":["https://openalex.org/I4104125"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5128133156"],"corresponding_institution_ids":["https://openalex.org/I4104125"],"apc_list":{"value":2040,"currency":"EUR","value_usd":2690},"apc_paid":{"value":2040,"currency":"EUR","value_usd":2690},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.45613021,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"25","issue":"3","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.9272000193595886,"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.9272000193595886,"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.009800000116229057,"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.003100000089034438,"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/debugging","display_name":"Debugging","score":0.8804000020027161},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.6927000284194946},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5871000289916992},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5591999888420105},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5544999837875366},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4519999921321869}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8804000020027161},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.777999997138977},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.6927000284194946},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5871000289916992},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5591999888420105},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5544999837875366},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47589999437332153},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4519999921321869},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.43160000443458557},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.3790999948978424},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.349700003862381},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.33500000834465027},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.32749998569488525},{"id":"https://openalex.org/C459310","wikidata":"https://www.wikidata.org/wiki/Q117801","display_name":"Computational science","level":1,"score":0.31450000405311584},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3001999855041504},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.29440000653266907},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2782999873161316},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.25459998846054077}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11128-026-05114-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11128-026-05114-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11128-026-05114-3.pdf","source":{"id":"https://openalex.org/S92819544","display_name":"Quantum Information Processing","issn_l":"1570-0755","issn":["1570-0755","1573-1332"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum Information Processing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s11128-026-05114-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11128-026-05114-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11128-026-05114-3.pdf","source":{"id":"https://openalex.org/S92819544","display_name":"Quantum Information Processing","issn_l":"1570-0755","issn":["1570-0755","1573-1332"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum Information Processing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321091","display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","ror":"https://ror.org/00x0ma614"},{"id":"https://openalex.org/F4320324147","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7133751264.pdf","grobid_xml":"https://content.openalex.org/works/W7133751264.grobid-xml"},"referenced_works_count":63,"referenced_works":["https://openalex.org/W1508413598","https://openalex.org/W1923824182","https://openalex.org/W2022409341","https://openalex.org/W2052129968","https://openalex.org/W2052146120","https://openalex.org/W2080282663","https://openalex.org/W2084652510","https://openalex.org/W2097527197","https://openalex.org/W2101911818","https://openalex.org/W2105614108","https://openalex.org/W2130552983","https://openalex.org/W2168676717","https://openalex.org/W2179731956","https://openalex.org/W2566002283","https://openalex.org/W2781738013","https://openalex.org/W2789114820","https://openalex.org/W2790668893","https://openalex.org/W2796615720","https://openalex.org/W2903600347","https://openalex.org/W2918135161","https://openalex.org/W2938353722","https://openalex.org/W2941565563","https://openalex.org/W2950018366","https://openalex.org/W2955434816","https://openalex.org/W2982169647","https://openalex.org/W2990961515","https://openalex.org/W3003732914","https://openalex.org/W3012166999","https://openalex.org/W3015628394","https://openalex.org/W3033997567","https://openalex.org/W3043800467","https://openalex.org/W3047378565","https://openalex.org/W3088977116","https://openalex.org/W3107463944","https://openalex.org/W3109961245","https://openalex.org/W3157675278","https://openalex.org/W3162397121","https://openalex.org/W3173827709","https://openalex.org/W3173899054","https://openalex.org/W3176603110","https://openalex.org/W3185543386","https://openalex.org/W3199718550","https://openalex.org/W3208388786","https://openalex.org/W3208475667","https://openalex.org/W4206219333","https://openalex.org/W4233269256","https://openalex.org/W4244051999","https://openalex.org/W4281389731","https://openalex.org/W4281891658","https://openalex.org/W4286530559","https://openalex.org/W4310709557","https://openalex.org/W4312944047","https://openalex.org/W4315605993","https://openalex.org/W4399049556","https://openalex.org/W4400877210","https://openalex.org/W4402960653","https://openalex.org/W4403663966","https://openalex.org/W4403883088","https://openalex.org/W4406159098","https://openalex.org/W4409126690","https://openalex.org/W6892474053","https://openalex.org/W6931031300","https://openalex.org/W6940504074"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Quantum":[1],"computing":[2],"offers":[3],"the":[4,45,86,113,129],"potential":[5],"for":[6,9,54,128],"exponential":[7,39],"speed-ups":[8],"classically":[10],"intractable":[11],"problems,":[12],"yet":[13],"quantum":[14,28,48,60,78,101,133],"programming":[15],"is":[16],"still":[17],"susceptible":[18],"to":[19],"bugs.":[20],"Classical":[21],"debugging":[22,102,134],"methods":[23],"are":[24],"often":[25],"inadequate,":[26],"as":[27,50],"mechanical":[29],"principles":[30],"make":[31],"state":[32],"inspection":[33],"disruptive":[34],"and":[35,56,77,91,124],"classical":[36,75],"simulation":[37],"has":[38],"time":[40,89],"complexity.":[41],"This":[42],"survey":[43],"explores":[44],"landscape":[46],"of":[47,93,115,131],"assertions":[49],"a":[51],"key":[52,122],"technique":[53],"identifying":[55],"locating":[57],"bugs":[58],"in":[59],"programs.":[61],"We":[62],"classify":[63],"these":[64],"techniques":[65],"into":[66],"two":[67],"primary":[68],"categories":[69],"based":[70],"on":[71],"their":[72],"evaluation":[73],"stage:":[74],"runtime":[76,79],"assertions.":[80],"For":[81],"each":[82],"category,":[83],"we":[84],"analyze":[85],"strengths,":[87],"limitations,":[88],"complexity,":[90],"applicability":[92],"current":[94],"methods.":[95],"Our":[96],"findings":[97],"show":[98],"that":[99,108],"scalable":[100],"remains":[103],"an":[104],"open":[105],"problem\u2014a":[106],"challenge":[107],"will":[109],"persist":[110],"even":[111],"with":[112],"advent":[114],"fault-tolerant":[116],"hardware.":[117],"Finally,":[118],"this":[119],"work":[120],"highlights":[121],"challenges":[123],"proposes":[125],"future":[126],"directions":[127],"development":[130],"novel":[132],"techniques.":[135]},"counts_by_year":[],"updated_date":"2026-04-24T08:23:43.765630","created_date":"2026-03-06T00:00:00"}