{"id":"https://openalex.org/W4308627434","doi":"https://doi.org/10.1145/3549036.3562055","title":"Automatic generation of test circuits for the verification of Quantum deterministic algorithms","display_name":"Automatic generation of test circuits for the verification of Quantum deterministic algorithms","publication_year":2022,"publication_date":"2022-11-07","ids":{"openalex":"https://openalex.org/W4308627434","doi":"https://doi.org/10.1145/3549036.3562055"},"language":"en","primary_location":{"id":"doi:10.1145/3549036.3562055","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3549036.3562055","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087546806","display_name":"Antonio Garc\u00eda de la Barrera Amo","orcid":null},"institutions":[{"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":"Antonio Garc\u00eda de la Barrera Amo","raw_affiliation_strings":["University of Castilla-La Mancha, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Castilla-La Mancha, Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029403444","display_name":"Manuel Serrano","orcid":"https://orcid.org/0000-0003-0962-5659"},"institutions":[{"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":"Manuel A. Serrano","raw_affiliation_strings":["University of Castilla-La Mancha, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Castilla-La Mancha, Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014330110","display_name":"Ignacio Garc\u00eda\u2010Rodr\u00edguez de Guzm\u00e1n","orcid":"https://orcid.org/0000-0002-0038-0942"},"institutions":[{"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":"Ignacio Garc\u00eda Rodr\u00edguez de Guzm\u00e1n","raw_affiliation_strings":["University of Castilla-La Mancha, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Castilla-La Mancha, Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071978590","display_name":"Macario Polo","orcid":"https://orcid.org/0000-0001-6519-6196"},"institutions":[{"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":"Macario Polo","raw_affiliation_strings":["University of Castilla-La Mancha, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Castilla-La Mancha, Spain","institution_ids":["https://openalex.org/I79189158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083263115","display_name":"Mario Piattini","orcid":"https://orcid.org/0000-0002-7212-8279"},"institutions":[{"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":"Mario Piattini","raw_affiliation_strings":["University of Castilla-La Mancha, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Castilla-La Mancha, Spain","institution_ids":["https://openalex.org/I79189158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I79189158"],"apc_list":null,"apc_paid":null,"fwci":1.1808,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.8138007,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"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.9993000030517578,"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.9993000030517578,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.7733335494995117},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.6242013573646545},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.5158114433288574},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.4979820251464844},{"id":"https://openalex.org/keywords/quantum-circuit","display_name":"Quantum circuit","score":0.4666139483451843},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4413183927536011},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.439251184463501},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4272548258304596},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.38648778200149536},{"id":"https://openalex.org/keywords/computational-science","display_name":"Computational science","score":0.32032883167266846},{"id":"https://openalex.org/keywords/quantum-network","display_name":"Quantum network","score":0.22358855605125427},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10515424609184265}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7733335494995117},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.6242013573646545},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.5158114433288574},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.4979820251464844},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.4666139483451843},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4413183927536011},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.439251184463501},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4272548258304596},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.38648778200149536},{"id":"https://openalex.org/C459310","wikidata":"https://www.wikidata.org/wiki/Q117801","display_name":"Computational science","level":1,"score":0.32032883167266846},{"id":"https://openalex.org/C186468114","wikidata":"https://www.wikidata.org/wiki/Q836478","display_name":"Quantum network","level":4,"score":0.22358855605125427},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10515424609184265},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3549036.3562055","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3549036.3562055","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.4699999988079071}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1997740743","https://openalex.org/W2063781796","https://openalex.org/W2075680532","https://openalex.org/W2149400686","https://openalex.org/W2735106657","https://openalex.org/W2887991122","https://openalex.org/W2906649690","https://openalex.org/W2955434816","https://openalex.org/W2987907651","https://openalex.org/W3082718143","https://openalex.org/W3088196918","https://openalex.org/W3098152511","https://openalex.org/W3105304321","https://openalex.org/W4213450570","https://openalex.org/W4214877872","https://openalex.org/W4220720075","https://openalex.org/W4237247542","https://openalex.org/W4240565768"],"related_works":["https://openalex.org/W2910123824","https://openalex.org/W4200149527","https://openalex.org/W4213379151","https://openalex.org/W4281550036","https://openalex.org/W3206120658","https://openalex.org/W4312934576","https://openalex.org/W1986555820","https://openalex.org/W2991324428","https://openalex.org/W2997740458","https://openalex.org/W4288803996"],"abstract_inverted_index":{"Quantum":[0,79,182],"computing":[1],"will":[2],"make":[3,104],"it":[4],"possible":[5],"to":[6,49,65,115,127,156,200,216],"exponentially":[7],"accelerate":[8],"the":[9,27,59,66,128,144,187,193,198,218],"performance":[10],"of":[11,15,35,39,61,74,130,132,146,204],"a":[12,33,72,77,108,124,147,154,181,202,207],"wide":[13],"range":[14],"computational":[16],"problems,":[17],"such":[18,168],"as":[19,99,169],"cryptography,":[20],"machine":[21],"learning":[22],"or":[23,172],"chemical":[24],"simulation.":[25],"However,":[26],"quantum":[28,89,105,158],"potential":[29],"is":[30,82,123,176],"not":[31],"only":[32],"matter":[34],"hardware,":[36],"but":[37],"also":[38,196],"software.":[40],"Therefore,":[41],"this":[42,140,210],"new":[43,67,78],"paradigm":[44],"has":[45],"an":[46,95,214],"impact":[47],"yet":[48],"be":[50],"explored":[51],"on":[52,88,120,135,160,206],"software":[53,63,90,92,106],"development":[54,107],"processes":[55],"and":[56,58,86,102,151,191],"techniques,":[57],"adaptation":[60],"classical":[62,136],"engineering":[64],"classical/quantum":[68],"hybrid":[69],"systems":[70],"raises":[71],"number":[73],"important":[75],"challenges:":[76],"Software":[80],"Engineering":[81],"therefore":[83],"needed.":[84],"Specifically,":[85],"focusing":[87],"quality,":[91],"verification":[93,117],"remains":[94],"open":[96],"research":[97],"question,":[98],"its":[100],"novelty":[101],"complexity":[103],"particularly":[109],"error-prone":[110],"process.":[111],"Most":[112],"current":[113],"approaches":[114],"test-driven":[116],"rely":[118],"heavily":[119],"simulations,":[121],"which":[122,185],"problem":[125],"due":[126],"lack":[129],"scalability":[131],"simulators":[133],"running":[134],"computers.":[137],"To":[138],"address":[139],"shortcoming,":[141],"we":[142],"define":[143],"concept":[145],"\"Quantum":[148],"Test":[149,183],"Case\",":[150],"then":[152],"present":[153,197],"method":[155],"test":[157,166,190],"circuits":[159],"real":[161],"machines,":[162],"without":[163],"using":[164],"simulation":[165],"functionalities":[167],"amplitude":[170],"calculation":[171],"non-destructive":[173],"measurement.":[174],"This":[175],"achieved":[177],"by":[178],"automatically":[179],"generating":[180],"Case,":[184],"wraps":[186],"circuit":[188,208],"under":[189],"performs":[192],"verification.":[194],"We":[195],"process":[199],"run":[201],"set":[203],"tests":[205],"with":[209,213],"method,":[211],"along":[212],"example":[215],"illustrate":[217],"technique.":[219]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}