{"id":"https://openalex.org/W4401815668","doi":"https://doi.org/10.1007/978-3-031-64136-7_5","title":"Verification and Validation of Quantum Software","display_name":"Verification and Validation of Quantum Software","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4401815668","doi":"https://doi.org/10.1007/978-3-031-64136-7_5"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-64136-7_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-64136-7_5","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-64136-7_5.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum Software","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-64136-7_5.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001092317","display_name":"Daniel Fortunato","orcid":"https://orcid.org/0000-0003-2596-6859"},"institutions":[{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]},{"id":"https://openalex.org/I4210164862","display_name":"Artificial Intelligence in Medicine (Canada)","ror":"https://ror.org/05p590m36","country_code":"CA","type":"company","lineage":["https://openalex.org/I4210164862"]}],"countries":["CA","PT"],"is_corresponding":true,"raw_author_name":"Daniel Fortunato","raw_affiliation_strings":["Faculty of Engineering of University of Porto, Porto, Portugal","LIACC\u2014Artificial Intelligence and Computer Science Laboratory (member of LASI LA), Porto, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering of University of Porto, Porto, Portugal","institution_ids":["https://openalex.org/I182534213"]},{"raw_affiliation_string":"LIACC\u2014Artificial Intelligence and Computer Science Laboratory (member of LASI LA), Porto, Portugal","institution_ids":["https://openalex.org/I4210164862"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078086456","display_name":"Luis Jim\u00e9nez-Navajas","orcid":"https://orcid.org/0000-0001-6257-7153"},"institutions":[{"id":"https://openalex.org/I4210141158","display_name":"Servicio de Salud de Castilla La Mancha","ror":"https://ror.org/03k8zj440","country_code":"ES","type":"healthcare","lineage":["https://openalex.org/I4210141158"]},{"id":"https://openalex.org/I79189158","display_name":"University of Castilla-La Mancha","ror":"https://ror.org/05r78ng12","country_code":"ES","type":"education","lineage":["https://openalex.org/I79189158"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Luis Jim\u00e9nez-Navajas","raw_affiliation_strings":["aQuantum, Faculty of Social Sciences & IT, University of Castilla-La Mancha, Talavera de la Reina, Toledo, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"aQuantum, Faculty of Social Sciences & IT, University of Castilla-La Mancha, Talavera de la Reina, Toledo, Spain","institution_ids":["https://openalex.org/I79189158","https://openalex.org/I4210141158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101595466","display_name":"Jos\u00e9 Campos","orcid":"https://orcid.org/0000-0001-7565-8382"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Jos\u00e9 Campos","raw_affiliation_strings":["Faculty of Engineering of University of Porto, Porto, Portugal","LASIGE, Faculdade de Ci\u00eancias, Universidade de Lisboa, Lisboa, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering of University of Porto, Porto, Portugal","institution_ids":["https://openalex.org/I182534213"]},{"raw_affiliation_string":"LASIGE, Faculdade de Ci\u00eancias, Universidade de Lisboa, Lisboa, Portugal","institution_ids":["https://openalex.org/I141596103"]}]},{"author_position":"last","author":{"id":null,"display_name":"Rui Abreu","orcid":null},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Rui Abreu","raw_affiliation_strings":["Faculty of Engineering of University of Porto, Porto, Portugal","INESC-ID, Lisboa, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering of University of Porto, Porto, Portugal","institution_ids":["https://openalex.org/I182534213"]},{"raw_affiliation_string":"INESC-ID, Lisboa, Portugal","institution_ids":["https://openalex.org/I121345201"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5001092317"],"corresponding_institution_ids":["https://openalex.org/I182534213","https://openalex.org/I4210164862"],"apc_list":null,"apc_paid":null,"fwci":2.1317,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.88402062,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"93","last_page":"123"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9921000003814697,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9921000003814697,"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"}},{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9918000102043152,"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/T10533","display_name":"Teaching and Learning Programming","score":0.987500011920929,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/computer-science","display_name":"Computer science","score":0.5922847986221313},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.5505287647247314},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.48311638832092285},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.48201361298561096},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3842792510986328},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32464009523391724},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.21315014362335205},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.15468460321426392},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1297469437122345},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.07365959882736206}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5922847986221313},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.5505287647247314},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.48311638832092285},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.48201361298561096},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3842792510986328},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32464009523391724},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.21315014362335205},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.15468460321426392},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1297469437122345},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.07365959882736206}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-64136-7_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-64136-7_5","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-64136-7_5.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum Software","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-64136-7_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-64136-7_5","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-64136-7_5.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum Software","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.6800000071525574,"display_name":"Quality Education"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320327491","display_name":"Universit\u00e4t Innsbruck","ror":"https://ror.org/054pv6659"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4401815668.pdf"},"referenced_works_count":81,"referenced_works":["https://openalex.org/W1492999010","https://openalex.org/W1943458919","https://openalex.org/W1987389628","https://openalex.org/W1988369744","https://openalex.org/W1992114977","https://openalex.org/W2017439596","https://openalex.org/W2033167658","https://openalex.org/W2041713059","https://openalex.org/W2044357043","https://openalex.org/W2097599402","https://openalex.org/W2098549348","https://openalex.org/W2126105956","https://openalex.org/W2135937266","https://openalex.org/W2146338950","https://openalex.org/W2146408397","https://openalex.org/W2156723666","https://openalex.org/W2159610968","https://openalex.org/W2170204382","https://openalex.org/W2174442795","https://openalex.org/W2289852464","https://openalex.org/W2529236184","https://openalex.org/W2620081107","https://openalex.org/W2795003837","https://openalex.org/W2806377938","https://openalex.org/W2806746626","https://openalex.org/W2906649690","https://openalex.org/W2914911815","https://openalex.org/W2952903800","https://openalex.org/W2955434816","https://openalex.org/W2958754741","https://openalex.org/W2962715466","https://openalex.org/W2967591898","https://openalex.org/W2979357014","https://openalex.org/W2987907651","https://openalex.org/W2990961515","https://openalex.org/W3001307185","https://openalex.org/W3072699177","https://openalex.org/W3082229062","https://openalex.org/W3088977116","https://openalex.org/W3098152511","https://openalex.org/W3105943882","https://openalex.org/W3113042975","https://openalex.org/W3166070894","https://openalex.org/W3173827709","https://openalex.org/W3179419443","https://openalex.org/W3185543386","https://openalex.org/W3196598991","https://openalex.org/W3202177858","https://openalex.org/W3208388786","https://openalex.org/W3209612530","https://openalex.org/W3212260724","https://openalex.org/W4200288893","https://openalex.org/W4205250223","https://openalex.org/W4205868343","https://openalex.org/W4205876794","https://openalex.org/W4206422925","https://openalex.org/W4210660460","https://openalex.org/W4224229206","https://openalex.org/W4226230110","https://openalex.org/W4234346598","https://openalex.org/W4281679883","https://openalex.org/W4282841908","https://openalex.org/W4282842784","https://openalex.org/W4285337083","https://openalex.org/W4285490377","https://openalex.org/W4288044869","https://openalex.org/W4288774103","https://openalex.org/W4289976876","https://openalex.org/W4310709557","https://openalex.org/W4312717201","https://openalex.org/W4318830406","https://openalex.org/W4322621617","https://openalex.org/W4362474597","https://openalex.org/W4365205299","https://openalex.org/W4384345659","https://openalex.org/W4385288380","https://openalex.org/W4385825572","https://openalex.org/W4388483386","https://openalex.org/W4388483544","https://openalex.org/W4393992776","https://openalex.org/W4400582509"],"related_works":["https://openalex.org/W3211062188","https://openalex.org/W2392362176","https://openalex.org/W2343496192","https://openalex.org/W2149330497","https://openalex.org/W377532801","https://openalex.org/W1519652642","https://openalex.org/W2505129019","https://openalex.org/W1558228200","https://openalex.org/W1574400345","https://openalex.org/W3027371154"],"abstract_inverted_index":{"Abstract":[0],"Quantum":[1],"software\u2014like":[2],"classic":[3],"software\u2014needs":[4],"to":[5,26,41,55,65,128,161,177],"be":[6,174],"designed,":[7],"specified,":[8],"developed,":[9],"and,":[10],"most":[11],"importantly,":[12],"tested":[13],"by":[14],"developers.":[15],"Writing":[16],"tests":[17],"is":[18,37],"a":[19,115,175],"complex,":[20],"error-prone,":[21],"and":[22,43,67,167,181],"time-consuming":[23],"task.":[24],"Due":[25],"the":[27,69,90,100,106,130,140,146,162,165,168],"particular":[28],"properties":[29],"of":[30,71,102,132,143,164,170],"quantum":[31,35,63,72,81,92,134,147,171],"physics":[32],"(e.g.,":[33],"superposition),":[34],"software":[36,82],"inherently":[38],"more":[39],"complex":[40],"develop":[42],"effectively":[44],"test":[45],"than":[46],"classical":[47,59],"software.":[48],"Nevertheless,":[49],"some":[50],"preliminary":[51],"works":[52,124],"have":[53,86,125],"tried":[54],"bring":[56],"commonly":[57],"used":[58],"testing":[60,83,133,144,185],"practices":[61],"for":[62,89],"computing":[64],"assess":[66],"improve":[68],"quality":[70],"programs.":[73],"In":[74],"this":[75],"chapter,":[76],"we":[77,98,136],"first":[78],"gather":[79],"16":[80],"techniques":[84],"that":[85,109,121,155],"been":[87,126],"proposed":[88,107,127],"IBM":[91],"framework,":[93],"Qiskit.":[94],"Then,":[95],"whenever":[96],"possible,":[97],"illustrate":[99],"usage":[101],"each":[103],"technique":[104],"(through":[105],"tool":[108],"implements":[110],"it,":[111],"if":[112],"available)":[113],"on":[114,152],"given":[116],"running":[117],"example.":[118],"We":[119],"showcase":[120],"although":[122],"several":[123],"ease":[129],"burn":[131],"software,":[135],"are":[137,156],"still":[138],"in":[139,145],"early":[141],"stages":[142],"world.":[148],"Researchers":[149],"should":[150,173],"focus":[151],"delivering":[153],"artifacts":[154],"usable":[157],"without":[158],"much":[159],"hindrance":[160],"rest":[163],"community,":[166],"development":[169],"benchmarks":[172],"priority":[176],"facilitate":[178],"reproducibility,":[179],"replicability,":[180],"comparison":[182],"between":[183],"different":[184],"techniques.":[186]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}