{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:45:36Z","timestamp":1775054736622,"version":"3.50.1"},"reference-count":87,"publisher":"Pleiades Publishing Ltd","issue":"8","license":[{"start":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T00:00:00Z","timestamp":1701388800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T00:00:00Z","timestamp":1701388800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2023,12]]},"DOI":"10.1134\/s0361768823080108","type":"journal-article","created":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T09:30:41Z","timestamp":1706088641000},"page":"682-704","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Taxonomic View of the Fundamental Concepts of Quantum Computing\u2013A Software Engineering Perspective"],"prefix":"10.1134","volume":"49","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5825-2433","authenticated-orcid":false,"given":"R.","family":"Ju\u00e1rez-Ram\u00edrez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7220-7006","authenticated-orcid":false,"given":"C. X.","family":"Navarro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0938-7291","authenticated-orcid":false,"given":"Samantha","family":"Jim\u00e9nez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8634-9988","authenticated-orcid":false,"given":"Alan","family":"Ram\u00edrez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0501-8600","authenticated-orcid":false,"given":"Ver\u00f3nica","family":"Tapia-Ibarra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9290-6170","authenticated-orcid":false,"given":"C\u00e9sar","family":"Guerra-Garc\u00eda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3331-2230","authenticated-orcid":false,"given":"Hector G.","family":"Perez-Gonzalez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1586-8772","authenticated-orcid":false,"given":"Carlos","family":"Fern\u00e1ndez-y-Fern\u00e1ndez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2024,1,24]]},"reference":[{"key":"3781_CR1","volume-title":"Quantum Computation and Quantum Information","author":"M.A. Nielsen","year":"2016","unstructured":"Nielsen, M.A. and Chuang, I.L., Quantum Computation and Quantum Information, 10th ed., Cambridge: Cambridge Univ. Press, 2016."},{"key":"3781_CR2","unstructured":"Khan, A.A., et al., Agile practices for quantum software development: Practitioners perspectives, 2022. arXiv2210.09825"},{"key":"3781_CR3","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/3517340","volume":"3","author":"J. Abhijith","year":"2022","unstructured":"Abhijith, J. et al., Quantum algorithm implementations for beginners, ACM Trans. Quantum Comput., 2022, vol. 3, no. 4, p. 18. https:\/\/doi.org\/10.1145\/3517340","journal-title":"ACM Trans. Quantum Comput."},{"key":"3781_CR4","doi-asserted-by":"publisher","unstructured":"Garc\u00eda-Ripoll, J.J., Specialty grand challenge: Quantum engineering, Front. Quantum Sci. Technol., 2022, vol. 1. https:\/\/doi.org\/10.3389\/frqst.2022.1029525","DOI":"10.3389\/frqst.2022.1029525"},{"key":"3781_CR5","series-title":"Introduction to quantum xomputing","volume-title":"Quantum Computing and Communications","author":"S.T. Marella","year":"2020","unstructured":"Marella, S.T. and Parisa, H.S.K., Introduction to quantum xomputing, in Quantum Computing and Communications, Zhao, Y., Ed., Rijeka: IntechOpen, 2020, chapter 5."},{"key":"3781_CR6","doi-asserted-by":"publisher","first-page":"100125","DOI":"10.1016\/j.caeo.2023.100125","volume":"4","author":"M. Weing\u00e4rtner","year":"2023","unstructured":"Weing\u00e4rtner, M. and Weing\u00e4rtner, T., Quantum tic-tac-toe\u2013learning the concepts of quantum mechanics in a playful way, Comput. Educ. Open, 2023, vol. 4, p.\u00a0100125. https:\/\/doi.org\/10.1016\/j.caeo.2023.100125","journal-title":"Comput. Educ. Open"},{"key":"3781_CR7","doi-asserted-by":"publisher","first-page":"106896","DOI":"10.1016\/j.infsof.2022.106896","volume":"147","author":"U. Awan","year":"2022","unstructured":"Awan, U., Hannola, L., Tandon, R.K., Goyal, A., and Dhir, A., Quantum computing challenges in the software industry. A fuzzy AHP-based approach, Inf. Software Technol., 2022, vol. 147, p. 106896. https:\/\/doi.org\/10.1016\/j.infsof.2022.106896","journal-title":"Inf. Software Technol."},{"key":"3781_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-98339-0","volume-title":"Introduction to Classical and Quantum Computing","author":"T.G. Wong","year":"2022","unstructured":"Wong, T.G., Introduction to Classical and Quantum Computing, Omaha: Rooted Grove, 2022."},{"key":"3781_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511813887","volume-title":"Quantum Computing for Computer Scientists","author":"N.S. Yanofsky","year":"2008","unstructured":"Yanofsky, N.S. and Mannucci, M.A., Quantum Computing for Computer Scientists, New York: Cambridge Univ. Press, 2008."},{"key":"3781_CR10","volume-title":"Quantum Computing\u2013a Gentle Introduction","author":"E. Rieffel","year":"2011","unstructured":"Rieffel, E. and Polak, W., Quantum Computing\u2013a Gentle Introduction, Cambridge, MA: MIT Press, 2011."},{"key":"3781_CR11","volume-title":"Quantum Software Engineering: Landscapes and Horizons","author":"J. Zhao","year":"2022","unstructured":"Zhao, J., Quantum Software Engineering: Landscapes and Horizons, Springer Nature Switzerland AG, 2022."},{"key":"3781_CR12","doi-asserted-by":"publisher","unstructured":"Zhao, P., Zhao, J., and Ma, L., Identifying bug patterns in quantum programs, Proc. IEEE\/ACM 2nd Int. Workshop on Quantum Software Engineering (Q-SE), Madrid, 2021, pp. 16\u201321. https:\/\/doi.org\/10.1109\/Q-SE52541.2021.00011","DOI":"10.1109\/Q-SE52541.2021.00011"},{"key":"3781_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TQE.2021.3127503","volume":"3","author":"P.P. Angara","year":"2022","unstructured":"Angara, P.P., Stege, U., MacLean, A., Muller, H.A., and Markham, T., Teaching quantum computing to high-school-aged youth: A hands-on approach, IEEE Trans. Quantum Eng., 2022, vol. 3, pp. 1\u201315. https:\/\/doi.org\/10.1109\/TQE.2021.3127503","journal-title":"IEEE Trans. Quantum Eng."},{"key":"3781_CR14","doi-asserted-by":"publisher","unstructured":"Mykhailova, M. and Svore, K.M., Teaching quantum computing through a practical software-driven approach: experience report, in Proc. 51st ACM Technical Symp. on Computer Science Education, SIFCSE\u201920, New York: Association for Computing Machinery, 2020, pp. 1019\u20131025. https:\/\/doi.org\/10.1145\/3328778.3366952","DOI":"10.1145\/3328778.3366952"},{"key":"3781_CR15","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1007\/s11831-022-09809-5","volume":"30","author":"J. Singh","year":"2023","unstructured":"Singh, J. and Bhangu, K.S., Contemporary quantum xomputing use xases: Taxonomy, review, and challenges, Arch. Comput. Methods Eng., 2023, vol. 30, no. 1, pp.\u00a0615\u2013638. https:\/\/doi.org\/10.1007\/s11831-022-09809-5","journal-title":"Arch. Comput. Methods Eng."},{"key":"3781_CR16","doi-asserted-by":"publisher","first-page":"030501","DOI":"10.1088\/2058-9565\/abfa64","volume":"6","author":"C.D. Aiello","year":"2021","unstructured":"Aiello, C.D. et al., Achieving a quantum smart workforce, Quantum Sci. Technol., 2021, vol. 6, no. 3, p.\u00a0030501. https:\/\/doi.org\/10.1088\/2058-9565\/abfa64","journal-title":"Quantum Sci. Technol."},{"key":"3781_CR17","volume-title":"Foundations of the Assumed Business Operations and Strategy Body of kKnowledge (BOSBOK)? An Outline of Shareable Knowledge","author":"G.R Oliver","year":"2021","unstructured":"Oliver, G.R, Foundations of the Assumed Business Operations and Strategy Body of kKnowledge (BOSBOK)? An Outline of Shareable Knowledge, Sydney: Sydney Univ. Press, 2021."},{"key":"3781_CR18","volume-title":"Guide to the Software Engineering Body of Knowledge, Ver. 3.0","author":"P. Bourque","year":"2014","unstructured":"Bourque, P. and Fairley, R.E., Guide to the Software Engineering Body of Knowledge, Ver. 3.0, IEEE Computer Soc., 2014."},{"key":"3781_CR19","unstructured":"\u00d6ren, T.I., Toward the body of knowledge of modeling and simulation, Proc. Interservice\/Industry Training, Simulation, and Education Conf. (I\/ITSEC 2005), Orlando, 2005."},{"key":"3781_CR20","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198737735.001.0001","volume-title":"The Quest for Professionalism: The Case of Management and Entrepreneurship","author":"G. Romme","year":"2016","unstructured":"Romme, G., The Quest for Professionalism: The Case of Management and Entrepreneurship, Oxford: Oxford Univ. Press, 2016."},{"key":"3781_CR21","first-page":"259","volume":"60","author":"H. Hart","year":"2013","unstructured":"Hart, H. and Baehr, C., Sustainable practices for developing a body of knowledge, Tech. Commun., 2013, vol.\u00a060, no. 4, pp. 259\u2013266. https:\/\/www.jstor.org\/stable\/26464355","journal-title":"Tech. Commun."},{"key":"3781_CR22","doi-asserted-by":"publisher","unstructured":"Gill, S.S. et al., Quantum computing: a taxonomy, systematic feview and future directions, Technical Report, Univ. of Melbourne: Cloud Computing and Distributed Systems Laboratory, Sep. 2020, no. CLOUDS-TR-2020-1https:\/\/doi.org\/10.48550\/arxiv.2010.15559","DOI":"10.48550\/arxiv.2010.15559"},{"key":"3781_CR23","doi-asserted-by":"publisher","unstructured":"Barbosa, L.S., Software engineering for \u201cQuantum Advantage,\u201d in Proc. 42nd IEEE\/ACM Int. Conf. on Software Engineering Workshops, in ICSEW\u201920, New York: Association for Computing Machinery, 2020, pp. 427\u2013429. https:\/\/doi.org\/10.1145\/3387940.3392184","DOI":"10.1145\/3387940.3392184"},{"key":"3781_CR24","doi-asserted-by":"publisher","unstructured":"Pontolillo, G. and Mousavi, M.R., A multi-lingual benchmark for property-based testing of quantum programs, Proc. 3rd IEEE\/ACM Int. Workshop on Quantum Software Engineering (Q-SE), Pittsburgh, 2022, pp. 1\u20137. https:\/\/doi.org\/10.1145\/3528230.3528395","DOI":"10.1145\/3528230.3528395"},{"key":"3781_CR25","doi-asserted-by":"publisher","unstructured":"Liao, Y.-P., Cheng, Y.-L., Zhang, Y.-T., Wu, H.-X., and Lu, R.-C., The interactive system of Bloch sphere for quantum computing education, Proc. IEEE Int. Conf. on Quantum Computing and Engineering (QCE), Broomfield, CO, 2022, pp. 718\u2013723. https:\/\/doi.org\/10.1109\/QCE53715.2022.00097","DOI":"10.1109\/QCE53715.2022.00097"},{"key":"3781_CR26","doi-asserted-by":"publisher","unstructured":"Tempor\u00e3o, G.P., Guerreiro, T.B.S., Ripper, P.S.C., and Pavani A.M.B., Teaching quantum computing without prerequisites: A case study, Proc. IEEE Int. Conf. on Quantum Computing and Engineering (QCE), Broomfield, CO, 2022, pp. 673\u2013676. https:\/\/doi.org\/10.1109\/QCE53715.2022.00090","DOI":"10.1109\/QCE53715.2022.00090"},{"key":"3781_CR27","doi-asserted-by":"publisher","unstructured":"Mykhailova, M., Developing programming assignments for teaching quantum computing and quantum programming, Proc. IEEE Int. Conf. on Quantum Computing and Engineering (QCE), Broomfield, CO, 2022, pp. 688\u2013692. https:\/\/doi.org\/10.1109\/QCE53715.2022.00092","DOI":"10.1109\/QCE53715.2022.00092"},{"key":"3781_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TE.2022.3153841","volume":"65","author":"C. Hughes","year":"2022","unstructured":"Hughes, C., Finke, D., German, D.-A., Merzbacher, C., Vora, P.M., and Lewandowski, H.J., Assessing the needs of the quantum industry, IEEE Trans. Educ., 2022, vol.\u00a065, no. 4, pp. 1\u201310.","journal-title":"IEEE Trans. Educ."},{"key":"3781_CR29","doi-asserted-by":"publisher","unstructured":"Petersen, K., Feldt, R., Mujtaba, S., and Mattsson, M., Systematic mapping studies in software engineering, Proc. 12th Int. Conf. on Evaluation and Assessment in Software Engineering EASE\u201908, Bari, June 2008, pp.\u00a068\u201377. https:\/\/doi.org\/10.14236\/ewic\/EASE2008.8","DOI":"10.14236\/ewic\/EASE2008.8"},{"key":"3781_CR30","doi-asserted-by":"publisher","unstructured":"Barn, B., Barat, S., and Clark, T., Conducting systematic literature reviews and systematic mapping studies, in Proc. 10th Conf. on Innovations in Software Engineering Conf. ISEC\u201917, New York: Association for Computing Machinery, 2017, pp. 212\u2013213. https:\/\/doi.org\/10.1145\/3021460.3021489","DOI":"10.1145\/3021460.3021489"},{"key":"3781_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.infsof.2015.03.007","volume":"64","author":"K. Petersen","year":"2015","unstructured":"Petersen, K., Vakkalanka, S., and Kuzniarz, L., Guidelines for conducting systematic mapping studies in software engineering: an update, Inf. Software Technol., 2015, vol. 64, pp. 1\u201318. https:\/\/doi.org\/10.1016\/j.infsof.2015.03.007","journal-title":"Inf. Software Technol."},{"key":"3781_CR32","unstructured":"Kitchenham, B. and Charters, S., Guidelines for performing systematic literature reviews in software engineering, EBSE Tech. Rep., 2007, no. EBSE-2007-01. https:\/\/www.cs.auckland.ac.nz\/~norsaremah\/2007%20 Guidelines%20for%20performing%20SLR%20in%20SE% 20v2.3.pdf"},{"key":"3781_CR33","doi-asserted-by":"publisher","unstructured":"Kitchenham, B.A., Systematic reviews, Proc. 10th Int. Symp. on Software Metrics, Chicago, 2004, p. 12. https:\/\/doi.org\/10.1109\/METRIC.2004.1357885","DOI":"10.1109\/METRIC.2004.1357885"},{"key":"3781_CR34","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1109\/TSE.2007.12","volume":"33","author":"J. Hannay","year":"2007","unstructured":"Hannay, J., Sj\u00f8berg, D., and Dyb\u00e5, T., A systematic review of theory use in software engineering experiments, IEEE Trans. Software Eng., 2007, vol. 33, pp. 87\u2013107. https:\/\/doi.org\/10.1109\/TSE.2007.12","journal-title":"IEEE Trans. Software Eng."},{"key":"3781_CR35","doi-asserted-by":"publisher","unstructured":"Tebes, G., Peppino, D., Becker, P., and Olsina, L., Enhancing the process Specification for systematic literature reviews, Proc. 20th Simp. Argentino de Ingenier\u00eda de Software (ASSE 2019), Salta, 2019. https:\/\/doi.org\/10.13140\/RG.2.2.14262.96321\/1","DOI":"10.13140\/RG.2.2.14262.96321\/1"},{"key":"3781_CR36","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1016\/j.jss.2006.07.009","volume":"80","author":"P. Brereton","year":"2007","unstructured":"Brereton, P., Kitchenham, B.A., Budgen, D., Turner, M., and Khalil, M., Lessons from applying the systematic literature review process within the software engineering domain, J. Syst. Software, 2007, vol. 80, no. 4, pp.\u00a0571\u2013583. https:\/\/doi.org\/10.1016\/j.jss.2006.07.009","journal-title":"J. Syst. Software"},{"key":"3781_CR37","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1109\/TSE.2007.1001","volume":"33","author":"B. Kitchenham","year":"2007","unstructured":"Kitchenham, B., Mendes, E., and Travassos, G., Cross versus within-company cost estimation studies: a systematic review, IEEE Trans. Software Eng., 2007, vol.\u00a033, pp. 316\u2013329. https:\/\/doi.org\/10.1109\/TSE.2007.1001","journal-title":"IEEE Trans. Software Eng."},{"key":"3781_CR38","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1177\/1094428120986851","volume":"26","author":"M.R.W. Hiebl","year":"2021","unstructured":"Hiebl, M.R.W., Sample selection in systematic literature reviews of management research, Organ. Res. Methods, 2021, vol. 26, no. 2, pp. 229\u2013261. https:\/\/doi.org\/10.1177\/1094428120986851","journal-title":"Organ. Res. Methods"},{"key":"3781_CR39","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.infsof.2018.09.006a","volume":"106","author":"V. Garousi","year":"2019","unstructured":"Garousi, V., Felderer, M., and M\u00e4ntyl\u00e4, M.V., Guidelines for including grey literature and conducting multivocal literature reviews in software engineering, Inf. Software Technol., 2019, vol. 106, pp. 101\u2013121. https:\/\/doi.org\/10.1016\/j.infsof.2018.09.006a","journal-title":"Inf. Software Technol."},{"key":"3781_CR40","doi-asserted-by":"publisher","unstructured":"Sarkar, A., Automated quantum software engineering: why? what? how?, Dec. 2022. https:\/\/doi.org\/10.48550\/arxiv.2212.00619","DOI":"10.48550\/arxiv.2212.00619"},{"key":"3781_CR41","series-title":"Quantum software development lifecycle","doi-asserted-by":"publisher","DOI":"10.48550\/arxiv.2106.09323","volume-title":"Quantum Software Engineering","author":"B. Weder","year":"2022","unstructured":"Weder, B., Barzen, J., Leymann, F., and Vietz, D., Quantum software development lifecycle, in Quantum Software Engineering, Serrano, M.A., P\u00e9rez-Castillo, R., and Piattini, M., Eds., Cham: Springer, 2022. https:\/\/doi.org\/10.48550\/arxiv.2106.09323"},{"key":"3781_CR42","unstructured":"Khan, A.A. et al., Software architecture for quantum computing systems\u2013a systematic review, Feb. 2022. http:\/\/arxiv.org\/abs\/2202.05505. Accessed Mar. 18, 2023."},{"key":"3781_CR43","doi-asserted-by":"publisher","unstructured":"De Stefano, M., Pecorelli, F., Di Nucci, D., Palomba, F., and De Lucia, A., Software engineering for quantum programming: How far are we?, J. Syst. Software, 2022, vol. 190, p. 111326. https:\/\/doi.org\/10.48550\/arxiv.2203.16969","DOI":"10.48550\/arxiv.2203.16969"},{"key":"3781_CR44","doi-asserted-by":"publisher","unstructured":"Serrano, M.A., Cruz-Lemus, J.A., Perez-Castillo, R., and Piattini, M., Quantum software components and platforms: overview and quality assessment, ACM Comput. Surv., 2022, vol. 55, no. 8. https:\/\/doi.org\/10.1145\/3548679","DOI":"10.1145\/3548679"},{"key":"3781_CR45","series-title":"Quantum software engineering landscape and challenges","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-05324-5_2","volume-title":"Quantum Software Engineering","author":"M. Piattini","year":"2022","unstructured":"Piattini, M. and Murillo, J.M., Quantum software engineering landscape and challenges, in Quantum Software Engineering, Serrano, M.A., Perez-Castillo, R., and Piattini, M., Eds., Cham: Springer Int. Publ., 2022, pp. 25\u201338. https:\/\/doi.org\/10.1007\/978-3-031-05324-5_2"},{"key":"3781_CR46","doi-asserted-by":"publisher","first-page":"111458","DOI":"10.1016\/j.jss.2022.111458","volume":"193","author":"M. Openja","year":"2022","unstructured":"Openja, M., Morovati, M.M., An, L., Khomh, F., and Abidi, M., Technical debts and faults in open-source quantum software systems: an empirical study, J. Syst. Software, 2022, vol. 193, p. 111458. https:\/\/doi.org\/10.1016\/j.jss.2022.111458","journal-title":"J. Syst. Software"},{"key":"3781_CR47","doi-asserted-by":"publisher","first-page":"2786","DOI":"10.1016\/j.matpr.2021.07.039","volume":"80","author":"S. Singh","year":"2023","unstructured":"Singh, S., Pandian, M.T., Aggarwal, A.K., Awasthi, S.P., Bhardwaj, H., and Pruthi, J., Quantum learning theory: A classical perspective for quantum image, Mater. Today Proc., 2023, vol. 80, pp. 2786\u20132793. https:\/\/doi.org\/10.1016\/j.matpr.2021.07.039","journal-title":"Mater. Today Proc."},{"key":"3781_CR48","doi-asserted-by":"publisher","unstructured":"Arun, G. and Mishra, V., A review on quantum computing and communication, Proc. 2nd Int. Conf. on Emerging Technology Trends in Electronics, Communication, and Networking, Surat, 2014, pp. 1\u20135. https:\/\/doi.org\/10.1109\/ET2ECN.2014.7044953","DOI":"10.1109\/ET2ECN.2014.7044953"},{"key":"3781_CR49","doi-asserted-by":"publisher","unstructured":"Singh, J. and Singh, M., Evolution in quantum computing, Proc. Int. Conf. System Modeling and Advancement in Research Trends (SMART), Moradabad, 2016, pp.\u00a0267\u2013270. https:\/\/doi.org\/10.1109\/SYSMART.2016.7894533","DOI":"10.1109\/SYSMART.2016.7894533"},{"key":"3781_CR50","doi-asserted-by":"publisher","unstructured":"Aralikatti, S., Quantum computing: Challenges and opportunities, Proc. 4th Int. Conf. on Electrical, Computer and Communication Technologies (ICECCT), Tamil Nadu, 2021, pp. 1\u20134. https:\/\/doi.org\/10.1109\/ICECCT52121.2021.9616647","DOI":"10.1109\/ICECCT52121.2021.9616647"},{"key":"3781_CR51","doi-asserted-by":"publisher","unstructured":"Dickson, M., Non-relativistic quantum mechanics, in Philosophy of Physics, Butterfield, J. and Earman, J., Eds., Amsterdam: North-Holland, 2007, pp. 275\u2013415. https:\/\/doi.org\/10.1016\/B978-044451560-5\/50007-5","DOI":"10.1016\/B978-044451560-5\/50007-5"},{"key":"3781_CR52","doi-asserted-by":"publisher","unstructured":"Sodhi, B. and Kapur, R., Quantum computing platforms: assessing the impact on quality attributes and SDLC activities, Proc. IEEE 18th Int. Conf. on Software Architecture (ICSA), Stuttgart, 2021, pp. 80\u201391. https:\/\/doi.org\/10.1109\/ICSA51549.2021.00016","DOI":"10.1109\/ICSA51549.2021.00016"},{"key":"3781_CR53","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/S1355-2198(99)00032-5","volume":"31","author":"J. Bub","year":"2000","unstructured":"Bub, J., Quantum mechanics as a principle theory, Stud. Hist. Philos. Sci., Part B: Stud. Hist. Philos. Modern Phys., 2000, vol. 31, no. 1, pp. 75\u201394. https:\/\/doi.org\/10.1016\/S1355-2198(99)00032-5","journal-title":"Stud. Hist. Philos. Modern Phys."},{"key":"3781_CR54","doi-asserted-by":"publisher","first-page":"1451","DOI":"10.1119\/1.18410","volume":"64","author":"J. Hilgevoord","year":"1996","unstructured":"Hilgevoord, J., The uncertainty principle for energy and time, Am. J. Phys., 1996, vol. 64, no. 12, pp. 1451\u20131456. https:\/\/doi.org\/10.1119\/1.18410","journal-title":"Am. J. Phys."},{"key":"3781_CR55","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1119\/1.18880","volume":"66","author":"J. Hilgevoord","year":"1998","unstructured":"Hilgevoord, J., The uncertainty principle for energy and time. II, Am. J. Phys., 1998, vol. 66, no. 5, pp. 396\u2013402. https:\/\/doi.org\/10.1119\/1.18880","journal-title":"Am. J. Phys."},{"key":"3781_CR56","doi-asserted-by":"publisher","unstructured":"Sakai, E., On the principles of quantum mechanics, May 2004. https:\/\/doi.org\/10.48550\/arxiv.quant-ph\/0405069","DOI":"10.48550\/arxiv.quant-ph\/0405069"},{"key":"3781_CR57","doi-asserted-by":"publisher","first-page":"967","DOI":"10.1119\/1.19007","volume":"66","author":"D.J. Velleman","year":"1998","unstructured":"Velleman, D.J., Probability and quantum mechanics, Am. J. Phys., 1998, vol. 66, no. 11, pp. 967\u2013969. https:\/\/doi.org\/10.1119\/1.19007","journal-title":"Am. J. Phys."},{"key":"3781_CR58","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1119\/1.4868094","volume":"82","author":"W.B. Hodge","year":"2014","unstructured":"Hodge, W.B., Migirditch, S.V., and Kerr, W.C., Electron spin and probability current density in quantum mechanics, Am. J. Phys., 2014, vol. 82, no. 7, pp. 681\u2013690. https:\/\/doi.org\/10.1119\/1.4868094","journal-title":"Am. J. Phys."},{"key":"3781_CR59","doi-asserted-by":"publisher","first-page":"1361","DOI":"10.1038\/s41467-019-09348-x","volume":"10","author":"L. Masanes","year":"2019","unstructured":"Masanes, L., Galley, T.D., and Muller, M.P., The measurement postulates of quantum mechanics are operationally redundant, Nat. Commun., 2019, vol. 10, no.\u00a01, p. 1361. https:\/\/doi.org\/10.1038\/s41467-019-09348-x","journal-title":"Nat. Commun."},{"key":"3781_CR60","unstructured":"Bacon, D., Decoherence, control, and symmetry in quantum computers, May 2003. https:\/\/arxiv.org\/abs\/quant-ph\/0305025. Accessed Mar. 20, 2023."},{"key":"3781_CR61","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1038\/nphys2916","volume":"10","author":"S. Popescu","year":"2014","unstructured":"Popescu, S., Nonlocality beyond quantum mechanics, Nat. Phys., 2014, vol. 10, no. 4, pp. 264\u2013270. https:\/\/doi.org\/10.1038\/nphys2916","journal-title":"Nat. Phys."},{"key":"3781_CR62","doi-asserted-by":"publisher","first-page":"31007","DOI":"10.1103\/PhysRevX.2.031007","volume":"2","author":"N.C. Jones","year":"2012","unstructured":"Jones, N.C., et al., Layered architecture for quantum computing, Phys. Rev. X, 2012, vol. 2, no. 3, p. 31007. https:\/\/doi.org\/10.1103\/PhysRevX.2.031007","journal-title":"Phys. Rev. X"},{"key":"3781_CR63","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TQE.2022.3195061","volume":"3","author":"D. Fortunato","year":"2022","unstructured":"Fortunato, D., Campos, J., and Abreu, R., Mutation testing of quantum programs: a case study with Qiskit, IEEE Trans. Quantum Eng., 2022, vol. 3, pp. 1\u201317. https:\/\/doi.org\/10.1109\/TQE.2022.3195061","journal-title":"IEEE Trans. Quantum Eng."},{"key":"3781_CR64","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/1126257.1126259","volume":"2","author":"R. Van Meter","year":"2006","unstructured":"Van Meter, R. and Oskin, M., Architectural implications of quantum computing technologies, ACM J. Emerging Technol. Comput. Syst., 2006, vol. 2, pp. 31\u201363.","journal-title":"ACM J. Emerging Technol. Comput. Syst."},{"key":"3781_CR65","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1016\/j.techsoc.2008.05.002","volume":"30","author":"A.G. Jordan","year":"2008","unstructured":"Jordan, A.G., Frontiers of research and future directions in information and communication technology, Technol. Soc., 2008, vol. 30, no. 3, pp. 388\u2013396. https:\/\/doi.org\/10.1016\/j.techsoc.2008.05.002","journal-title":"Technol. Soc."},{"key":"3781_CR66","unstructured":"Perez-Gonzalez, C.A., Towards a quantum software modeling language, June 2020. https:\/\/arxiv.org\/abs\/2006.16690. Accessed Mar. 18, 2023."},{"key":"3781_CR67","doi-asserted-by":"crossref","unstructured":"Shor, P.W., Algorithms for quantum computation: discrete logarithms and factoring, Proc. 35th Annu. Symp. on Foundations of Computer Science, Santa Fe, NM, 1994, pp. 124\u2013134.","DOI":"10.1109\/SFCS.1994.365700"},{"key":"3781_CR68","doi-asserted-by":"publisher","first-page":"032314","DOI":"10.1103\/PhysRevA.93.032314","volume":"93","author":"L. Zhao","year":"2016","unstructured":"Zhao, L., P\u00e9rez-Delgado, C.A., and Fitzsimons, J.F., Fast graph operations in quantum computation, Phys. Rev. A: Coll. Park., 2016, vol. 93, no. 3, p. 032314. https:\/\/doi.org\/10.1103\/PhysRevA.93.032314","journal-title":"Phys. Rev. A: Coll. Park."},{"key":"3781_CR69","series-title":"A quantum software modeling language","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-05324-5_6","volume-title":"Quantum Software Engineering","author":"C.A. P\u00e9rez-Delgado","year":"2022","unstructured":"P\u00e9rez-Delgado, C.A., A quantum software modeling language, in Quantum Software Engineering, Serrano, M.A., P\u00e9rez-Castillo, R., and Piattini, M., Eds., Cham: Springer Int. Publ., 2022, pp. 103\u2013119. https:\/\/doi.org\/10.1007\/978-3-031-05324-5_6"},{"key":"3781_CR70","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-02516-7","volume-title":"High-Level Structures in Quantum Computing","author":"J.A. Miszczak","year":"2012","unstructured":"Miszczak, J.A., High-Level Structures in Quantum Computing, Cham: Springer, 2012."},{"key":"3781_CR71","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1038\/s42254-020-00245-7","volume":"2","author":"B. Heim","year":"2020","unstructured":"Heim, B., et al., Quantum programming languages, Nat. Rev. Phys., 2020, vol. 2, no. 12, pp. 709\u2013722. https:\/\/doi.org\/10.1038\/s42254-020-00245-7","journal-title":"Nat. Rev. Phys."},{"key":"3781_CR72","doi-asserted-by":"publisher","first-page":"28","DOI":"10.3390\/data7030028","volume":"7","author":"O. Ayoade","year":"2022","unstructured":"Ayoade, O., Rivas, P., and Orduz, J., Artificial intelligence computing at the quantum level, Data (Basel), 2022, vol. 7, no. 3, p. 28. https:\/\/doi.org\/10.3390\/data7030028","journal-title":"Data (Basel)"},{"key":"3781_CR73","doi-asserted-by":"publisher","first-page":"e2419","DOI":"10.1002\/smr.2419","volume":"35","author":"A. Garc\u00eda de la Barrera","year":"2021","unstructured":"Garc\u00eda de la Barrera, A., Garc\u00eda-Rodr\u00edguez de Guzman, I., Polo, M., and Piattini, M., Quantum software testing: state of the art, J. Software: Evol. Process., 2021, vol. 35, no. 4, p. e2419. https:\/\/doi.org\/10.1002\/smr.2419","journal-title":"J. Software: Evol. Process."},{"key":"3781_CR74","doi-asserted-by":"publisher","unstructured":"Paltenghi, M., Cross-platform testing of quantum computing platforms, Proc. 44th IEEE\/ACM Int. Conf. on Software Engineering: Companion Proceedings (ICSE-Companion), Pittsburgh, 2022, pp. 269\u2013271. https:\/\/doi.org\/10.1145\/3510454.3517061","DOI":"10.1145\/3510454.3517061"},{"key":"3781_CR75","doi-asserted-by":"publisher","unstructured":"Costa, N., Fernandes, J.P., and Abreu, R., Asserting the correctness of shor implementations using metamorphic testing, in Proc. 1st Int. Workshop on Quantum Programming for Software Engineering, in QP4SE 2022, New York: Association for Computing Machinery, 2022, pp. 32\u201336. https:\/\/doi.org\/10.1145\/3549036.3562062","DOI":"10.1145\/3549036.3562062"},{"key":"3781_CR76","doi-asserted-by":"publisher","unstructured":"Fortunato, D., Campos, J., and Abreu, R., QMutPy: A mutation testing tool for quantum algorithms and applications in Qiskit, in Proc. 31st ACM SIGSOFT Int. Symp. on Software Testing and Analysis, in ISSTA 2022, New York: Association for Computing Machinery, 2022, pp. 797\u2013800. https:\/\/doi.org\/10.1145\/3533767.3543296","DOI":"10.1145\/3533767.3543296"},{"key":"3781_CR77","doi-asserted-by":"publisher","unstructured":"Wang, J., Zhang, Q., Xu, G.H., and Kim, M., QDiff: Differential testing of quantum software stacks, Proc. 36th IEEE\/ACM Int. Conf. on Automated Software Engineering (ASE), Melbourn, 2021, pp. 692\u2013704. https:\/\/doi.org\/10.1109\/ASE51524.2021.9678792","DOI":"10.1109\/ASE51524.2021.9678792"},{"key":"3781_CR78","doi-asserted-by":"publisher","unstructured":"Honarvar, S., Mousavi, M.R., and Nagarajan, R., Property-based testing of quantum programs in Q#, in Proc. 42nd IEEE\/ACM Int. Conf. on Software Engineering Workshops, in ICSEW\u201920, New York: Association for Computing Machinery, 2020, pp. 430\u2013435. https:\/\/doi.org\/10.1145\/3387940.3391459","DOI":"10.1145\/3387940.3391459"},{"key":"3781_CR79","doi-asserted-by":"publisher","unstructured":"Wang, X., Arcaini, P., Yue, T., and Ali, S., QuSBT: Search-based testing of quantum programs, in Proc. 44th IEEE\/ACM Int. Conf. on Software Engineering in ICSE\u201922, New York: Association for Computing Machinery, 2022, pp. 173\u2013177. https:\/\/doi.org\/10.1145\/3510454.3516839","DOI":"10.1145\/3510454.3516839"},{"key":"3781_CR80","doi-asserted-by":"publisher","unstructured":"Trinca, M., Ferreira, J.F., and Abreu, R., A preliminary study on generating well-formed Q# quantum programs for fuzz testing, Proc. IEEE Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW), Valencia, 2022, pp. 118\u2013121. https:\/\/doi.org\/10.1109\/ICSTW55395.2022.00033","DOI":"10.1109\/ICSTW55395.2022.00033"},{"key":"3781_CR81","doi-asserted-by":"publisher","unstructured":"Campos, J. and Souto, A., QBugs: A collection of reproducible bugs in quantum algorithms and a supporting infrastructure to enable controlled quantum software testing and debugging experiments, Proc. 2nd IEEE\/ACM Int. Workshop on Quantum Software Engineering (Q-SE), 2021, pp. 28\u201332. https:\/\/doi.org\/10.1109\/Q-SE52541.2021.00013","DOI":"10.1109\/Q-SE52541.2021.00013"},{"key":"3781_CR82","doi-asserted-by":"publisher","unstructured":"Fortunato, D., Campos, J., and Abreu, R., Mutation testing of quantum programs written in QISKit, Proc. IEEE\/ACM 44th Int. Conf. on Software Engineering: Companion Proceedings (ICSE-Companion), Pittsburgh, 2022, pp. 358\u2013359. https:\/\/doi.org\/10.1145\/3510454.3528649","DOI":"10.1145\/3510454.3528649"},{"key":"3781_CR83","doi-asserted-by":"publisher","unstructured":"Zhu, D., Wang, S., Han, J., Wei, R., Wu, J., and Song, L., Research on method for adding new friends to instant messaging system based on SIP in quantum communication network, Proc. 6th IEEE Int. Conf. on Software Engineering and Service Science (ICSESS), Beijing, 2015, pp. 467\u2013469. https:\/\/doi.org\/10.1109\/ICSESS.2015.7339098","DOI":"10.1109\/ICSESS.2015.7339098"},{"key":"3781_CR84","unstructured":"Wang, J., et al., QuanFuzz: Fuzz testing of quantum program, 2018. arXiv:abs\/1810.10310."},{"key":"3781_CR85","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1134\/S0361768821020067","volume":"47","author":"V.V. Kornyak","year":"2021","unstructured":"Kornyak, V.V., Dynamic simulation of quantum entanglement in finite quantum mechanics: A computer algebra approach, Program. Comput. Software, 2021, vol. 47, no. 2, pp. 124\u2013132. https:\/\/doi.org\/10.1134\/S0361768821020067","journal-title":"Program. Comput. Software"},{"key":"3781_CR86","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1134\/S0361768822080229","volume":"48","author":"L. Vives","year":"2022","unstructured":"Vives, L., Melendez, K., and D\u00e1vila, A., ISO\/IEC 29110 and software engineering education: A systematic mapping study, Program. Comput. Software, 2022, vol.\u00a048, no. 8, pp. 745\u2013755. https:\/\/doi.org\/10.1134\/S0361768822080229","journal-title":"Program. Comput. Software"},{"key":"3781_CR87","doi-asserted-by":"publisher","first-page":"614","DOI":"10.1134\/S0361768822080047","volume":"48","author":"R. Ju\u00e1rez-Ram\u00edrez","year":"2022","unstructured":"Ju\u00e1rez-Ram\u00edrez, R., et al., How COVID-19 pandemic affects software developers\u2019 wellbeing, and the necessity to strengthen soft skills, Program. Comput. Software, 2022, vol. 48, no. 8, pp. 614\u2013631. https:\/\/doi.org\/10.1134\/S0361768822080047","journal-title":"Program. Comput. Software"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768823080108.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768823080108","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768823080108.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:51:13Z","timestamp":1775011873000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768823080108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12]]},"references-count":87,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["3781"],"URL":"https:\/\/doi.org\/10.1134\/s0361768823080108","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,12]]},"assertion":[{"value":"14 June 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 July 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 August 2023","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 January 2024","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare that they have no conflicts of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"CONFLICT OF INTEREST"}}]}}