{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T19:40:55Z","timestamp":1770752455883,"version":"3.50.0"},"publisher-location":"Cham","reference-count":63,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031053238","type":"print"},{"value":"9783031053245","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-05324-5_9","type":"book-chapter","created":{"date-parts":[[2022,10,12]],"date-time":"2022-10-12T13:07:19Z","timestamp":1665580039000},"page":"167-191","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Quantum Software Testing: Current Trends and Emerging Proposals"],"prefix":"10.1007","author":[{"given":"Antonio Garc\u00eda","family":"de la Barrera","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ignacio Garc\u00eda-Rodr\u00edguez","family":"de Guzm\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Macario","family":"Polo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 A.","family":"Cruz-Lemus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,13]]},"reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JPROC.2018.2884353","volume":"107","author":"D Maslov","year":"2019","unstructured":"Maslov D, Nam Y, Kim J (2019) An outlook for quantum computing [point of view]. Proc IEEE 107(1):5\u201310","journal-title":"Proc IEEE"},{"key":"9_CR2","doi-asserted-by":"publisher","DOI":"10.18235\/0001613","volume-title":"Quantum technologies: digital transformation, social impact, and cross-sector disruption","author":"MA L\u00f3pez","year":"2019","unstructured":"L\u00f3pez, M.A. and Silva, M.M.D., Quantum technologies: digital transformation, social impact, and cross-sector disruption. 2019."},{"issue":"06","key":"9_CR3","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/MC.2019.2908512","volume":"52","author":"TS Humble","year":"2019","unstructured":"Humble TS, DeBenedictis EP (2019) Quantum realism. Computer 52(06):13\u201317","journal-title":"Computer"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"130","DOI":"10.22331\/q-2019-03-25-130","volume":"3","author":"R LaRose","year":"2019","unstructured":"LaRose R (2019) Overview and comparison of gate level quantum software platforms. Quantum 3:130","journal-title":"Quantum"},{"key":"9_CR5","unstructured":"Gill SS (2020) Quantum computing: a taxonomy, systematic review and future directions. 2010(15559). ArXiv"},{"key":"9_CR6","unstructured":"Piattini M, Peterssen G, P\u00e9rez-Castillo R, Hevia JL, Serrano MA, Hern\u00e1ndez G, Garc\u00eda-Rodr\u00edguez de Guzm\u00e1n I, Paradela CA, Polo M, Murina E, Jim\u00e9nez L, Marque\u00f1o JC, Gallego R, Tura J, Phillipson F, Murillo JM, Ni\u00f1o A, Rodr\u00edguez M (2020) The Talavera Manifesto for Quantum Software Engineering and Programming. In: QANSWER"},{"key":"9_CR7","unstructured":"Zhao J (2020) Quantum software engineering: landscapes and horizons. arXiv preprint arXiv:2007.07047"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Miranskyy A, Zhang L, Doliskani J (2020) Is your quantum program bug-free? In: Proceedings \u2013 2020 ACM\/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2020","DOI":"10.1145\/3377816.3381731"},{"key":"9_CR9","unstructured":"Usaola MP (2020) Quantum software testing. In: QANSWER"},{"key":"9_CR10","unstructured":"Huang Y, Martonosi M (2019) QDB: from quantum algorithms towards correct quantum programs. In: OpenAccess Series in Informatics"},{"key":"9_CR11","unstructured":"Sodhi B (2018) Quality attributes on quantum computing platforms. arXiv preprint arXiv:1803.07407"},{"key":"9_CR12","unstructured":"Miranskyy A, Zhang L, Doliskani J (2021) On testing and debugging quantum software. arXiv preprint arXiv:2103.09172"},{"key":"9_CR13","unstructured":"Dey N, Ghosh M, Chakrabarti A (2020) QDLC\u2013the quantum development life cycle. arXiv preprint arXiv:2010.08053"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Campos J, Souto A (2021) QBugs: a collection of reproducible bugs in quantum algorithms and a supporting infrastructure to enable controlled quantum software testing and debugging experiments. arXiv preprint arXiv:2103.16968","DOI":"10.1109\/Q-SE52541.2021.00013"},{"key":"9_CR15","unstructured":"Gomes C, Fortunato D, Fernandes JP, Abreu R (2020) Off-the-shelf components for quantum programming and testing. In: CEUR Workshop Proceedings"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Reutter D, Vicary J (2018) Shaded tangles for the design and verification of quantum programs (extended abstract). In: Electronic Proceedings in Theoretical Computer Science, EPTCS","DOI":"10.4204\/EPTCS.266.21"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Honarvar S, Mousavi MR, Nagarajan R (2020) Property-based testing of quantum programs in Q#. In: Proceedings \u2013 2020 IEEE\/ACM 42nd International Conference on Software Engineering Workshops, ICSEW 2020","DOI":"10.1145\/3387940.3391459"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"49","DOI":"10.22331\/q-2018-01-31-49","volume":"2","author":"DS Steiger","year":"2018","unstructured":"Steiger DS, H\u00e4ner T, Troyer M (2018) ProjectQ: an open source software framework for quantum computing. Quantum 2:49","journal-title":"Quantum"},{"key":"9_CR19","unstructured":"Wang J, Gao M, Jiang Y, Lou J, Gao Y, Zhang D, Sun J (2018) QuanFuzz: Fuzz testing of quantum program. arXiv preprint arXiv:1810.10310"},{"key":"9_CR20","unstructured":"Betanzo Sanchez F (2020) QuTAF: a test automation framework for quantum applications"},{"key":"9_CR21","unstructured":"Bisht S (2013) Robot framework test automation. Packt Publishing"},{"key":"9_CR22","first-page":"113","volume-title":"Communications in computer and information science","author":"L Anticoli","year":"2018","unstructured":"Anticoli L, Piazza C, Taglialegne L, Zuliani P (2018) Entang\u03bbe: A translation framework from quipper programs to quantum markov chains. In: Communications in computer and information science, pp 113\u2013126"},{"key":"9_CR23","unstructured":"Smelyanskiy M, Sawaya N, Aspuru-Guzik A (2016) qHiPSTER: the quantum high performance software testing environment. arXiv preprint arXiv:1601.07195"},{"issue":"4","key":"9_CR24","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1109\/MDT.2007.146","volume":"24","author":"S Krishnaswamy","year":"2007","unstructured":"Krishnaswamy S, Markov IL, Hayes JP (2007) Tracking uncertainty with probabilistic logic circuit testing. IEEE Des Test Comput 24(4):312\u2013321","journal-title":"IEEE Des Test Comput"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Huang Y, Martonosi M (2019) Statistical assertions for validating patterns and finding bugs in quantum programs. In: Proceedings \u2013 International Symposium on Computer Architecture","DOI":"10.1145\/3307650.3322213"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Li G, Zhou L, Yu N, Ding Y, Ying M, Xie Y (2020) Projection-based runtime assertions for testing and debugging Quantum programs. In: Proceedings of the ACM on Programming Languages. 4(OOPSLA)","DOI":"10.1145\/3428218"},{"key":"9_CR27","volume-title":"A discipline of programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra EW, Dijkstra EW, Dijkstra EW, Dijkstra EW (1976) A discipline of programming, vol 613924118. Prentice-Hall, Englewood Cliffs"},{"issue":"3","key":"9_CR28","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/229542.229547","volume":"18","author":"C Morgan","year":"1996","unstructured":"Morgan C, McIver A, Seidel K (1996) Probabilistic predicate transformers. ACM Trans Program Lang Syst (TOPLAS) 18(3):325\u2013353","journal-title":"ACM Trans Program Lang Syst (TOPLAS)"},{"issue":"1\u20132","key":"9_CR29","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.tcs.2007.06.011","volume":"386","author":"Y Feng","year":"2007","unstructured":"Feng Y, Duan R, Ji Z, Ying M (2007) Proof rules for the correctness of quantum programs. Theoretical Comput Sci 386(1\u20132):151\u2013166","journal-title":"Theoretical Comput Sci"},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"Baltag A, Bergfeld JM, Kishida K, Sack J, Smets SJL, Zhong S (2013) Quantum probabilistic dyadic second-order logic. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).:64\u201380","DOI":"10.1007\/978-3-642-39992-3_9"},{"issue":"10","key":"9_CR31","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare CAR (1969) An axiomatic basis for computer programming. Commun ACM 12(10):576\u2013580","journal-title":"Commun ACM"},{"key":"9_CR32","doi-asserted-by":"crossref","unstructured":"Barthe G, Hsu J, Ying M, Yu N, Zhou L (2020) Relational proofs for quantum programs. In: Proceedings of the ACM on Programming Languages. 4(POPL)","DOI":"10.1145\/3371089"},{"key":"9_CR33","first-page":"187","volume-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","author":"J Liu","year":"2019","unstructured":"Liu J, Zhan B, Wang S, Ying S, Liu T, Li Y, Ying M, Zhan N (2019) Formal verification of quantum algorithms using quantum hoare logic. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp 187\u2013207"},{"key":"9_CR34","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","author":"L Zhou","year":"2019","unstructured":"Zhou L, Yu N, Ying M (2019) An applied quantum hoare logic. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)"},{"key":"9_CR35","volume-title":"Conference Record of the Annual ACM Symposium on Principles of Programming Languages","author":"M Ying","year":"2017","unstructured":"Ying M, Ying S, Wu X (2017) Invariants of quantum programs: characterisations and generation. In: Conference Record of the Annual ACM Symposium on Principles of Programming Languages"},{"key":"9_CR36","first-page":"79","volume-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","author":"Y Kakutani","year":"2009","unstructured":"Kakutani Y (2009) A logic for formal verification of quantum programs. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp 79\u201393"},{"key":"9_CR37","volume-title":"Annual Asian Computing Science Conference","author":"J den Hartog","year":"1999","unstructured":"den Hartog J (1999) Verifying probabilistic programs using a hoare like logic. In: Annual Asian Computing Science Conference. Springer"},{"issue":"4","key":"9_CR38","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1017\/S0960129504004256","volume":"14","author":"P Selinger","year":"2004","unstructured":"Selinger P (2004) Towards a quantum programming language. Mathematical Struct Comput Sci 14(4):527\u2013586","journal-title":"Mathematical Struct Comput Sci"},{"key":"9_CR39","doi-asserted-by":"crossref","unstructured":"Sun X, He F (2020) A first step to the categorical logic of quantum programs. Entropy 22(2)","DOI":"10.3390\/e22020144"},{"issue":"3","key":"9_CR40","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF01857727","volume":"21","author":"E Fredkin","year":"1982","unstructured":"Fredkin E, Toffoli T (1982) Conservative logic. Int J Theoretical Phys 21(3):219\u2013253","journal-title":"Int J Theoretical Phys"},{"issue":"8","key":"9_CR41","doi-asserted-by":"publisher","first-page":"1220","DOI":"10.1109\/TCAD.2004.831576","volume":"23","author":"KN Patel","year":"2004","unstructured":"Patel KN, Hayes JP, Markov IL (2004) Fault testing for reversible circuits. IEEE Trans Computer-Aided Des Integr Circ Syst 23(8):1220\u20131230","journal-title":"IEEE Trans Computer-Aided Des Integr Circ Syst"},{"key":"9_CR42","volume-title":"2016 Sixth International Symposium on Embedded Computing and System Design (ISED)","author":"B Mondal","year":"2016","unstructured":"Mondal B, Bandyopadhyay C, Rahaman H (2016) A testing scheme for mixed-control based reversible circuits. In: 2016 Sixth International Symposium on Embedded Computing and System Design (ISED). IEEE"},{"key":"9_CR43","volume-title":"2012 IEEE 30th VLSI Test Symposium (VTS)","author":"M Zamani","year":"2012","unstructured":"Zamani M, Tahoori MB, Chakrabarty K (2012) Ping-pong test: compact test vector generation for reversible circuits. In: 2012 IEEE 30th VLSI Test Symposium (VTS). IEEE"},{"key":"9_CR44","volume-title":"International Conference on the Quality of Information and Communications Technology","author":"L Jim\u00e9nez-Navajas","year":"2020","unstructured":"Jim\u00e9nez-Navajas L, P\u00e9rez-Castillo R, Piattini M (2020) Reverse engineering of quantum programs toward KDM models. In: International Conference on the Quality of Information and Communications Technology. Springer"},{"key":"9_CR45","doi-asserted-by":"crossref","unstructured":"P\u00e9rez-Castillo R, Jim\u00e9nez-Navajas L, Piattini M (2021) Modelling quantum circuits with UML. arXiv preprint arXiv:2103.16169","DOI":"10.1109\/Q-SE52541.2021.00009"},{"key":"9_CR46","doi-asserted-by":"crossref","unstructured":"Leymann F, Barzen J, Falkenthal M, Vietz D, Weder B, Wild K (2020) Quantum in the cloud: application potentials and research opportunities. arXiv preprint arXiv:2003.06256","DOI":"10.5220\/0009819800090024"},{"issue":"5","key":"9_CR47","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/C-M.1975.218953","volume":"8","author":"H Bratman","year":"1975","unstructured":"Bratman H, Court T (1975) The software factory. Computer 8(5):28\u201337","journal-title":"Computer"},{"key":"9_CR48","unstructured":"OMG (2003) MDA Guide v1.0. Business Process Integration chapter"},{"key":"9_CR49","doi-asserted-by":"crossref","unstructured":"Ying M (2011) Floyd-hoare logic for quantum programs. ACM Trans Program Lang Syst 33(6)","DOI":"10.1145\/2049706.2049708"},{"issue":"1","key":"9_CR50","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/MITP.2020.3019522","volume":"23","author":"M Piattini","year":"2021","unstructured":"Piattini M, Serrano M, Perez-Castillo R, Petersen G, Hevia JL (2021) Toward a quantum software engineering. IT Prof 23(1):62\u201366","journal-title":"IT Prof"},{"key":"9_CR51","volume-title":"International Conference on Product-Focused Software Process Improvement","author":"G Theocharis","year":"2015","unstructured":"Theocharis G, Kuhrmann M, M\u00fcnch J, Diebold P (2015) Is water-scrum-fall reality? On the use of agile and traditional development practices. In: International Conference on Product-Focused Software Process Improvement. Springer"},{"key":"9_CR52","unstructured":"Agrawal H (1989) Design of mutant operators for the C programming language. Software Engineering Research Center, Purdue University, West Lafayette."},{"issue":"2","key":"9_CR53","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1002\/stvr.392","volume":"19","author":"M Polo","year":"2009","unstructured":"Polo M, Piattini M, Garc\u00eda-Rodr\u00edguez I (2009) Decreasing the cost of mutation testing with second-order mutants. Softw Test Verif Reliab 19(2):111\u2013131","journal-title":"Softw Test Verif Reliab"},{"key":"9_CR54","doi-asserted-by":"crossref","unstructured":"Deng L, Offutt AJ (2018) Reducing the cost of android mutation testing","DOI":"10.18293\/SEKE2018-184"},{"issue":"C","key":"9_CR55","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.infsof.2016.04.012","volume":"81","author":"L Deng","year":"2017","unstructured":"Deng L, Offutt J, Ammann P, Mirzaei N (2017) Mutation operators for testing android apps. Inf Softw Technol 81(C):154\u2013168","journal-title":"Inf Softw Technol"},{"issue":"4","key":"9_CR56","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"RA DeMillo","year":"1978","unstructured":"DeMillo RA, Lipton RJ, Sayward FG (1978) Hints on test data selection: help for the practicing programmer. Computer 11(4):34\u201341","journal-title":"Computer"},{"key":"9_CR57","doi-asserted-by":"crossref","unstructured":"Li G, Zhou L, Yu N, Ding Y, Ying M, Xie Y (2020) Projection-based runtime assertions for testing and debugging quantum programs. Proc ACM Program Lang 4","DOI":"10.1145\/3428218"},{"issue":"1","key":"9_CR58","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/125489.125473","volume":"1","author":"AJ Offutt","year":"1992","unstructured":"Offutt AJ (1992) Investigations of the software testing coupling effect. ACM Trans Softw Eng Methodol 1(1):5\u201320","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"9_CR59","doi-asserted-by":"publisher","DOI":"10.1145\/3387940.3391459","volume-title":"Property-based testing of quantum programs in Q#","author":"S Honarvar","year":"2020","unstructured":"Honarvar S, Mousavi MR, and Nagarajan R. Property-based testing of quantum programs in Q#. 2020."},{"key":"9_CR60","doi-asserted-by":"publisher","first-page":"942","DOI":"10.1109\/ECCTD.2007.4529753","volume-title":"2007 18th European Conference on Circuit Theory and Design","author":"O Boncalo","year":"2007","unstructured":"Boncalo O, Udrescu M, Prodan L, Vladutiu M, Amaricai A (2007) Assessing quantum circuits reliability with mutant-based simulated fault injection\u2019. In: 2007 18th European Conference on Circuit Theory and Design, pp 942\u2013945"},{"key":"9_CR61","series-title":"Theory","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/978-3-319-33924-5_19","volume-title":"Advances in Unconventional Computing","author":"M Lukac","year":"2017","unstructured":"Lukac M, Kameyama M, Perkowski M, Kerntopf P, Moraga C (2017) Fault models in reversible and quantum circuits. In: Adamatzky A (ed) Advances in Unconventional Computing, Theory, vol 1. Springer International, Cham, pp 475\u2013493"},{"issue":"3","key":"9_CR62","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/3402127.3402131","volume":"45","author":"M Piattini","year":"2020","unstructured":"Piattini M, Peterssen G, P\u00e9rez-Castillo R (2020) Quantum computing: a new software engineering golden age. SIGSOFT Softw Eng Notes 45(3):12\u201314","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"9_CR63","unstructured":"EQF (2020) Strategic research agenda. European Quantum Flagship. European Commission"}],"container-title":["Quantum Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-05324-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,12]],"date-time":"2022-10-12T23:08:08Z","timestamp":1665616088000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-05324-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031053238","9783031053245"],"references-count":63,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-05324-5_9","relation":{},"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"13 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}