Just Accepted
Quantum Software Engineering: Roadmap and Challenges Ahead
Authors: 
Juan M. Murillo, Jose Garcia-Alonso, Enrique Moguel, Johanna Barzen, Frank Leymann, 
Shaukat Ali, Tao Yue, 
Paolo Arcaini, Ricardo Pérez-Castillo, Ignacio García Rodríguez de Guzmán, 
Mario Piattini, 
Antonio Ruiz-Cortés, Antonio Brogi, Jianjun Zhao, Andriy Miranskyy, Manuel WimmerAuthors Info & Claims
Accepted on 18 December 2024
Abstract
As quantum computers advance, the complexity of the software they can execute increases as well. To ensure this software is efficient, maintainable, reusable, and cost-effective —key qualities of any industry-grade software— mature software engineering practices must be applied throughout its design, development, and operation. However, the significant differences between classical and quantum software make it challenging to directly apply classical software engineering methods to quantum systems. This challenge has led to the emergence of Quantum Software Engineering as a distinct field within the broader software engineering landscape. In this work, a group of active researchers analyse in depth the current state of quantum software engineering research. From this analysis, the key areas of quantum software engineering are identified and explored in order to determine the most relevant open challenges that should be addressed in the next years. These challenges help identify necessary breakthroughs and future research directions for advancing Quantum Software Engineering.
References
[1]
Ali J Abhari, Arvin Faruque, Mohammad J Dousti, Lukas Svec, Oana Catu, Amlan Chakrabati, Chen-Fu Chiang, Seth Vanderwilt, John Black, and Fred Chong. 2012. Scaffold: Quantum programming language. Technical Report. Department of Computer Science, Princeton University. https://www.cs.princeton.edu/research/techreps/TR-934-12
[2]
Rui Abreu, João Paulo Fernandes, Luis Llana, and Guilherme Tavares. 2023. Metamorphic Testing of Oracle Quantum Programs. In Proceedings of the 3rd International Workshop on Quantum Software Engineering (Pittsburgh, Pennsylvania) (Q-SE ’22). Association for Computing Machinery, New York, NY, USA, 16–23. https://doi.org/10.1145/3528230.3529189
[3]
Muhammad Azeem Akbar, Arif Ali Khan, and Saima Rafi. 2023. A systematic decision-making framework for tackling quantum software engineering challenges. Automated Software Engineering 30, 2 (2023), 22. https://doi.org/10.1007/s10515-023-00389-7
[4]
Muhammad Azeem Akbar, Arif Ali Khan, Mohammad Shameem, and Mohammad Nadeem. 2024. Genetic model-based success probability prediction of quantum software development projects. Information and Software Technology 165 (2024), 107352. https://doi.org/10.1016/j.infsof.2023.107352
[5]
Mst Shamima Aktar, Peng Liang, Muhammad Waseem, Amjed Tahir, Aakash Ahmad, Beiqi Zhang, and Zengyang Li. 2025. Architecture decisions in quantum software systems: An empirical study on Stack Exchange and GitHub. Information and Software Technology 177 (2025), 107587. https://doi.org/10.1016/j.infsof.2024.107587
[6]
Shaukat Ali, Paolo Arcaini, Xinyi Wang, and Tao Yue. 2021. Assessing the effectiveness of input and output coverage criteria for testing quantum programs. In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, Virtual Conference, 13–23. https://doi.org/10.1109/ICST49551.2021.00014
[7]
Shaukat Ali and Tao Yue. 2020. Modeling Quantum programs: challenges, initial results, and research directions. In Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software (Virtual, USA) (APEQS 2020). Association for Computing Machinery, New York, NY, USA, 14–21. https://doi.org/10.1145/3412451.3428499
[8]
Shaukat Ali and Tao Yue. 2023. On the Need of Quantum-Oriented Paradigm. In Proceedings of the 2nd International Workshop on Quantum Programming for Software Engineering (QP4SE 2023). Association for Computing Machinery, New York, NY, USA, 17–20. https://doi.org/10.1145/3617570.3617868
[9]
Shaukat Ali and Tao Yue. 2023. Quantum Software Testing: A Brief Introduction. In 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). IEEE, Melbourne, Australia, 332–333. https://doi.org/10.1109/ICSE-Companion58688.2023.00093
[10]
Shaukat Ali, Tao Yue, and Rui Abreu. 2022. When software engineering meets quantum computing. Commun. ACM 65, 4 (2022), 84–88. https://doi.org/10.1145/3512340
[11]
Diego Alonso, Pedro Sánchez, and Francisco Sánchez-Rubio. 2022. Engineering the development of quantum programs: Application to the Boolean satisfiability problem. Advances in Engineering Software 173 (2022), 103216. https://doi.org/10.1016/j.advengsoft.2022.103216
[12]
Jaime Alvarado-Valiente, Javier Romero-Álvarez, Enrique Moguel, José García-Alonso, and Juan M. Murillo. 2024. Technological diversity of quantum computing providers: a comparative study and a proposal for API Gateway integration. Software Quality Journal 32, 1 (2024), 53–73. https://doi.org/10.1007/s11219-023-09633-5
[13]
Jaime Alvarado-Valiente, Javier Romero-Álvarez, Enrique Moguel, Jose García-Alonso, and Juan M. Murillo. 2024. Orchestration for quantum services: The power of load balancing across multiple service providers. Science of Computer Programming 237 (2024), 103139. https://doi.org/10.1016/j.scico.2024.103139
[14]
Joshua Ammermann, Wolfgang Mauerer, and Ina Schaefer. 2024. Towards View-based Development of Quantum Software. arXiv (2024), 5 pages. https://doi.org/10.48550/arXiv.2406.18363
[15]
Álvaro M. Aparicio-Morales, Enrique Moguel, Luis Mariano Bibbo, Alejandro Fernandez, Jose Garcia-Alonso, and Juan M. Murillo. 2024. An overview of quantum software engineering in Latin America. Quantum Information Processing 23, 11 (2024), 380. https://doi.org/10.1007/s11128-024-04586-5
[16]
Johanna Barzen and Frank Leymann. 2024. Post-Quantum Security: Origin, Fundamentals, and Adoption. arXiv (2024). https://doi.org/10.48550/arXiv.2405.11885
[17]
Martin Beisel, Johanna Barzen, Simon Garhofer, Frank Leymann, Felix Truger, Benjamin Weder, and Vladimir Yussupov. 2022. Quokka: a service ecosystem for workflow-based execution of variational quantum algorithms. In International Conference on Service-Oriented Computing. Springer, 369–373. https://doi.org/10.1007/978-3-031-26507-5_35
[18]
Jon Bentley. 1985. Programming pearls: confessions of a coder. Commun. ACM 28, 7 (1985), 671–679. https://doi.org/10.1145/3894.315112
[19]
Ethan Bernstein and Umesh Vazirani. 1997. Quantum Complexity Theory. SIAM J. Comput. 26, 5 (1997), 1411–1473. https://doi.org/10.1137/S0097539796300921
[20]
Giuseppe Bisicchia, Jose García-Alonso, Juan M Murillo, and Antonio Brogi. 2023. Distributing Quantum Computations, by Shots. In International Conference on Service-Oriented Computing. Springer, 363–377. https://doi.org/10.1007/978-3-031-48421-6_25
[21]
Xavier Bonet-Monroig, Ryan Babbush, and Thomas E O’Brien. 2020. Nearly optimal measurement scheduling for partial tomography of quantum states. Physical Review X 10, 3 (2020), 031064. https://doi.org/10.1103/PhysRevX.10.031064
[22]
Dirk Bouwmeester and Anton Zeilinger. 2000. The physics of quantum information: basic concepts. In The physics of quantum information: quantum cryptography, quantum teleportation, quantum computation. Springer, 1–14. https://doi.org/10.1007/978-3-662-04209-0_1
[23]
Fabian Bühler, Johanna Barzen, Martin Beisel, Daniel Georg, Frank Leymann, and Karoline Wild. 2023. Patterns for Quantum Software Development. In Proceedings of the 15th International Conference on Pervasive Patterns and Applications (PATTERNS 2023). 30–39. https://doi.org/10.1145/3665870.3665871
[24]
Anita D Carleton, Erin Harper, John E Robert, Mark H Klein, Dionisio De Niz, Edward Desautels, John B Goodenough, Charles Holland, Ipek Ozkaya, and Douglas Schmidt. 2021. Architecting the Future of Software Engineering: A National Agenda for Software Engineering Research and Development. Report. Software Engineering Institute, Carnegie Mellon University. https://resources.sei.cmu.edu/library/asset-view.cfm?assetid=741193
[25]
Marco Cerezo, Andrew Arrasmith, Ryan Babbush, Simon C Benjamin, Suguru Endo, Keisuke Fujii, Jarrod R McClean, Kosuke Mitarai, Xiao Yuan, Lukasz Cincio, et al. 2021. Variational quantum algorithms. Nature Reviews Physics 3, 9 (2021), 625–644. https://doi.org/10.1038/s42254-021-00348-9
[26]
Qihong Chen, Rúben Câmara, José Campos, André Souto, and Iftekhar Ahmed. 2023. The Smelly Eight: An Empirical Study on the Prevalence of Code Smells in Quantum Computing. In 45th IEEE/ACM International Conference on Software Engineering, ICSE. IEEE, 358–370. https://doi.org/10.1109/ICSE48619.2023.00041
[27]
Frederic T Chong, Diana Franklin, and Margaret Martonosi. 2017. Programming languages and compiler design for realistic quantum hardware. Nature 549, 7671 (2017), 180–187. https://doi.org/10.1038/nature23459
[28]
Matteo Ciniselli, Niccolò Puccinelli, Ketai Qiu, and Luca Di Grazia. 2024. From Today's Code to Tomorrow's Symphony: The AI Transformation of Developer's Routine by 2030. arXiv (2024). https://doi.org/10.48550/arXiv.2405.12731
[29]
John Clark and Susan Stepney. 2002. Proposed ”Grand Challenge for Computing Research” Quantum Software Engineering. https://www.cs.york.ac.uk/quantum/sig/021108/qsegc.pdf
[30]
José A. Cruz-Lemus, Luis A. Marcelo, and Mario Piattini. 2021. Towards a Set of Metrics for Quantum Circuits Understandability. In Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings (Communications in Computer and Information Science, Vol. 1439), Ana C. R. Paiva, Ana Rosa Cavalli, Paula Ventura Martins, and Ricardo Pérez-Castillo (Eds.). Springer, 239–249. https://doi.org/10.1007/978-3-030-85347-1_18
[31]
Steven A. Cuccaro, Thomas G. Draper, Samuel A. Kutin, and David Petrie Moulton. 2004. A new quantum ripple-carry addition circuit. arXiv (2004). https://doi.org/10.48550/arXiv.quant-ph/0410184
[32]
Evandro Chagas Ribeiro Da Rosa and Rafael De Santiago. 2021. Ket Quantum Programming. J. Emerg. Technol. Comput. Syst. 18, 1, Article 12 (oct 2021), 25 pages. https://doi.org/10.1145/3474224
[33]
Antonio García de la Barrera, Ignacio García Rodríguez de Guzmán, Macario Polo, and Mario Piattini. 2023. Quantum software testing: State of the art. J. Softw. Evol. Process. 35, 4 (2023). https://doi.org/10.1002/SMR.2419
[34]
Antonio García de la Barrera Amo, Manuel A. Serrano, Ignacio García Rodríguez de Guzmán, Macario Polo, and Mario Piattini. 2022. Automatic generation of test circuits for the verification of Quantum deterministic algorithms. In Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering, QP4SE 2022, Singapore, Singapore, 18 November 2022, Fabiano Pecorelli, Vita Santa Barletta, and Manuel A. Serrano (Eds.). ACM, 1–6. https://doi.org/10.1145/3549036.3562055
[35]
Manuel De Stefano, Fabiano Pecorelli, Dario Di Nucci, Fabio Palomba, and Andrea De Lucia. 2022. Software engineering for quantum programming: How far are we? Journal of Systems and Software 190 (2022), 111326. https://doi.org/10.1016/j.jss.2022.111326
[36]
A. Deshpande. 2022. Assessing the quantum-computing landscape. Commun. ACM 65, 10 (2022), 57–65. https://doi.org/10.1145/3524109
[37]
David Deutsch and Richard Jozsa. 1992. Rapid solution of problems by quantum computation. Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences 439 (1992), 553 – 558. https://doi.org/10.1098/rspa.1992.0167
[38]
Nivedita Dey, Mrityunjay Ghosh, Subhra Samir kundu, and Amlan Chakrabarti. 2020. QDLC – The Quantum Development Life Cycle. arXiv (2020). https://doi.org/10.48550/arXiv.2010.08053
[39]
Nicolas Dupuis, Luca Buratti, Sanjay Vishwakarma, Aitana Viudes Forrat, David Kremer, Ismael Faro, Ruchir Puri, and Juan Cruz-Benito. 2024. Qiskit Code Assistant: Training LLMs for generating Quantum Computing Code. arXiv (2024). https://doi.org/10.48550/arXiv.2405.19495
[40]
Ana Díaz, Jaime Alvarado-Valiente, Javier Romero-Álvarez, Enrique Moguel, Jose Garcia-Alonso, Moisés Rodríguez, Ignacio García-Rodríguez, and Juan M. Murillo. 2024. Service engineering for quantum computing: Ensuring high-quality quantum services. Information and Software Technology (2024), 107643. https://doi.org/10.1016/j.infsof.2024.107643
[41]
Ana Díaz-Muñoz, Moisés Rodríguez, and Mario Piattini. 2024. Towards a set of metrics for hybrid (quantum/classical) systems maintainability. Journal of Universal Computer Science 30, 1 (2024), 25–48. https://doi.org/10.3897/jucs.99348
[42]
Zhangyin Feng, Daya Guo, Duyu Tang, Nan Duan, Xiaocheng Feng, Ming Gong, Linjun Shou, Bing Qin, Ting Liu, Daxin Jiang, and Ming Zhou. 2020. CodeBERT: A Pre-Trained Model for Programming and Natural Languages. In Findings of the Association for Computational Linguistics: EMNLP. 1536–1547. https://doi.org/10.18653/V1/2020.FINDINGS-EMNLP.139
[43]
Richard P Feynman. 2018. Simulating physics with computers. In Feynman and computation. CRC Press, 133–153. https://doi.org/10.1007/BF02650179
[44]
Daniel Fortunato, José Campos, and Rui Abreu. 2022. Mutation Testing of Quantum Programs: A Case Study With Qiskit. IEEE Transactions on Quantum Engineering 3 (2022), 1–17. https://doi.org/10.1109/TQE.2022.3195061
[45]
Daniel Fortunato, José Campos, and Rui Abreu. 2022. Mutation Testing of Quantum Programs Written in QISKit. In Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings (Pittsburgh, Pennsylvania) (ICSE ’22). Association for Computing Machinery, New York, NY, USA, 358–359. https://doi.org/10.1145/3510454.3528649
[46]
Daniel Fortunato, José Campos, and Rui Abreu. 2022. QMutPy: A Mutation Testing Tool for Quantum Algorithms and Applications in Qiskit. In Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (Virtual, South Korea) (ISSTA 2022). Association for Computing Machinery, New York, NY, USA, 797–800. https://doi.org/10.1145/3533767.3543296
[47]
World Economic Forum. 2022. Quantum Computing Governance Principles. https://www3.weforum.org/docs/WEF_Quantum_Computing_2022.pdf
[48]
Rafael Fresno-Aranda, Pablo Fernández, Amador Durán, and Antonio Ruiz-Cortés. 2022. Semi-automated capacity analysis of limitation-aware microservices architectures. In International Conference on the Economics of Grids, Clouds, Systems, and Services. Springer, 75–88. https://doi.org/10.1007/978-3-031-29315-3_7
[49]
Rafael Fresno-Aranda, Pablo Fernandez, Antonio Gamez-Diaz, Amador Duran, and Antonio Ruiz-Cortes. 2025. Pricing4APIs: A rigorous model for RESTful API pricings. Computer Standards & Interfaces 91 (2025), 103878. https://doi.org/10.1016/j.csi.2024.103878
[50]
X. Fu, Jintao Yu, Xing Su, Hanru Jiang, Hua Wu, Fucheng Cheng, Xi Deng, Jinrong Zhang, Lei Jin, Yihang Yang, Le Xu, Chunchao Hu, Anqi Huang, Guangyao Huang, Xiaogang Qiang, Mingtang Deng, Ping Xu, Weixia Xu, Wanwei Liu, Yu Zhang, Yuxin Deng, Junjie Wu, and Yuan Feng. 2021. Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features. ACM Transactions on Quantum Computing 2, 4, Article 19 (dec 2021), 37 pages. https://doi.org/10.1145/3483528
[51]
Alireza Furutanpey, Johanna Barzen, Marvin Bechtold, Schahram Dustdar, Frank Leymann, Philipp Raith, and Felix Truger. 2023. Architectural Vision for Quantum Computing in the Edge-Cloud Continuum. arXiv (2023). https://doi.org/10.1109/QSW59989.2023.00021
[52]
Antonio Gamez-Diaz, Pablo Fernandez, Antonio Ruiz-Cortés, Pedro J Molina, Nikhil Kolekar, Prithpal Bhogill, Madhurranjan Mohaan, and Francisco Méndez. 2019. The role of limitations and SLAs in the API industry. In Proceedings of the 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). 1006–1014. https://doi.org/10.1145/3338906.3340445
[53]
Jose Garcia-Alonso, Javier Rojo, David Valencia, Enrique Moguel, Javier Berrocal, and Juan Manuel Murillo. 2021. Quantum software as a service through a quantum API gateway. IEEE Internet Computing 26, 1 (2021), 34–41. https://doi.org/10.1109/MIC.2021.3132688
[54]
D. García-Martín, E. Ribas, S. Carrazza, J.I. Latorre, and G. Sierra. 2020. The Prime state and its quantum relatives. Quantum 4 (dec 2020), 371. https://doi.org/10.22331/q-2020-12-11-371
[55]
Alan Geller. 2020. Introducing quantum intermediate representation (QIR). Q# Blog. Sept (2020). https://devblogs.microsoft.com/qsharp/introducing-quantum-intermediate-representation-qir
[56]
Felix Gemeinhardt, Martin Eisenberg, Stefan Klikovits, and Manuel Wimmer. 2023. Model-Driven Optimization for Quantum Program Synthesis with MOMoT. In 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 614–621. https://doi.org/10.1109/MODELS-C59198.2023.00100
[57]
Felix Gemeinhardt, Antonio Garmendia, and Manuel Wimmer. 2021. Towards model-driven quantum software engineering. In 2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE). IEEE, 13–15. https://doi.org/10.1109/Q-SE52541.2021.00010
[58]
Felix Gemeinhardt, Antonio Garmendia, Manuel Wimmer, and Robert Wille. 2024. A Model-Driven Framework for Composition-Based Quantum Circuit Design. ACM Transactions on Quantum Computing (2024). https://doi.org/10.1145/3688856
[59]
Ilie-Daniel Gheorghe-Pop, Nikolay Tcholtchev, Tom Ritter, and Manfred Hauswirth. 2020. Quantum DevOps: Towards Reliable and Applicable NISQ Quantum Computing. 2020 IEEE Globecom Workshops (GC Wkshps (2020), 1–6. https://doi.org/10.1109/GCWkshps50303.2020.9367411
[60]
András Gilyén, Srinivasan Arunachalam, and Nathan Wiebe. 2019. Optimizing quantum optimization algorithms via faster quantum gradient computation. In Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, 1425–1444. https://doi.org/10.1137/1.9781611975482.87
[61]
Jonathan Grattage. 2011. An overview of QML with a concrete implementation in Haskell. Electronic Notes in Theoretical Computer Science 270, 1 (2011), 165–174. https://doi.org/10.1016/j.entcs.2011.01.015
[62]
Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, and Benoît Valiron. 2013. Quipper: a scalable quantum programming language. In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI ’13, Hans-Juergen Boehm and Cormac Flanagan (Eds.). ACM, 333–342. https://doi.org/10.1145/2491956.2462177
[63]
Lov K Grover. 1996. A fast quantum mechanical algorithm for database search. In Proceedings of the twenty-eighth annual ACM symposium on Theory of computing. 212–219. https://doi.org/10.48550/arXiv.quant-ph/9605043
[64]
Lov K. Grover. 1998. Quantum Computers Can Search Rapidly by Using Almost Any Transformation. Physical Review Letters 80, 19 (may 1998), 4329–4332. https://doi.org/10.1103/physrevlett.80.4329
[65]
Xiaoyu Guo, Takahiro Muta, and Jianjun Zhao. 2024. Quantum Circuit Ansatz: Patterns of Abstraction and Reuse of Quantum Algorithm Design. In 2024 IEEE International Conference on Quantum Software (QSW). IEEE, 69–80. https://doi.org/10.1109/QSW62656.2024.00021
[66]
Xiaoyu Guo, Jianjun Zhao, and Pengzhan Zhao. 2024. On Repairing Quantum Programs Using ChatGPT. In 2024 IEEE/ACM 5th International Workshop on Quantum Software Engineering (Q-SE). ACM. https://doi.org/10.1145/3643667.3648223
[67]
Majid Haghparast, Tommi Mikkonen, Jukka K. Nurminen, and Vlad Stirbu. 2023. Quantum Software Engineering Challenges from Developers’ Perspective: Mapping Research Challenges to the Proposed Workflow Model. 2023 IEEE International Conference on Quantum Computing and Engineering (QCE) 02 (2023), 173–176. https://doi.org/10.1109/QCE57702.2023.10204
[68]
Jose Luis Hevia, Guido Peterssen, and Mario Piattini. 2024. Quantum software development risks. Quantum Information and Computation 24, 5&6 (2024), 455–467. https://doi.org/10.26421/QIC24.5-6-5
[69]
Jack D. Hidary. 2021. Dirac Notation. Quantum Computing: An Applied Approach (2021), 377–381. https://doi.org/10.1007/978-3-030-83274-2_14
[70]
Shahin Honarvar, Mohammad Reza Mousavi, and Rajagopal Nagarajan. 2020. Property-Based Testing of Quantum Programs in Q#. In Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops (Seoul, Republic of Korea) (ICSEW’20). Association for Computing Machinery, New York, NY, USA, 430–435. https://doi.org/10.1145/3387940.3391459
[71]
Ryszard Horodecki, Paweł Horodecki, Michał Horodecki, and Karol Horodecki. 2009. Quantum entanglement. Reviews of modern physics 81, 2 (2009), 865. https://doi.org/10.1103/RevModPhys.81.865
[72]
Yipeng Huang and Margaret Martonosi. 2019. Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs. In Proceedings of the 46th International Symposium on Computer Architecture (Phoenix, Arizona) (ISCA ’19). Association for Computing Machinery, New York, NY, USA, 541–553. https://doi.org/10.1145/3307650.3322213
[73]
Thomas Häner, Mathias Soeken, Martin Roetteler, and Krysta M. Svore. 2018. Quantum circuits for floating-point arithmetic. arXiv (2018). https://doi.org/10.48550/arXiv.1807.02023
[74]
IBM. 2016. IBM Makes Quantum Computing Available on IBM Cloud to Accelerate Innovation. https://uk.newsroom.ibm.com/2016-May-04-IBM-Makes-Quantum-Computing-Available-on-IBM-Cloud-to-Accelerate-Innovation
[75]
Shahab Iranmanesh, Hossein Aghababa, and Kazim Fouladi. 2024. Gate Optimization of NEQR Quantum Circuits via PPRM Transformation. arXiv (2024). https://doi.org/10.48550/arXiv.2409.14629
[76]
Victoria Jackson, Bogdan Vasilescu, Daniel Russo, Paul Ralph, Maliheh Izadi, Rafael Prikladnicki, Sarah D’Angelo, Sarah Inman, Anielle Lisboa, and Andre van der Hoek. 2024. Creativity, Generative AI, and Software Development: A Research Agenda. arXiv (2024). https://doi.org/10.48550/arXiv.2406.01966
[77]
Luis Jiménez-Navajas, Ricardo Pérez-Castillo, and Mario Piattini. 2021. KDM to UML Model transformation for quantum software modernization. In International Conference on the Quality of Information and Communications Technology. Springer, 211–224. https://doi.org/10.1007/978-3-030-85347-1_16
[78]
Luis Jiménez-Navajas, Fabian Bühler, Frank Leymann, Ricardo Pérez-Castillo, Mario Piattini, and Daniel Vietz. 2024. Quantum software development: a survey. Quantum Information and Computation 24, 7&8 (2024), 609–642. https://doi.org/10.26421/QIC24.7-8-4
[79]
Tiancheng Jin and Jianjun Zhao. 2023. ScaffML: A Quantum Behavioral Interface Specification Language for Scaffold. In 2023 IEEE International Conference on Quantum Software (QSW). IEEE, 128–137. https://doi.org/10.48550/arXiv.2306.06468
[80]
Jose Jose Campos and Andre Souto. 2021. QBugs: A Collection of Reproducible Bugs in Quantum Algorithms and a Supporting Infrastructure to Enable Controlled Quantum Software Testing and Debugging Experiments. In Second International Workshop on Quantum Software Engineering (Q-SE 2021). 28–32. https://doi.org/10.1109/Q-SE52541.2021.00013
[81]
Richard Jozsa and Noah Linden. 2003. On the Role of Entanglement in Quantum-Computational Speed-Up. Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 459 (2003), 2011–2032. https://www.jstor.org/stable/3560059
[82]
Arif Ali Khan, Aakash Ahmad, Muhammad Waseem, Peng Liang, Mahdi Fahmideh, Tommi Mikkonen, and Pekka Abrahamsson. 2023. Software architecture for quantum computing systems — A systematic review. Journal of Systems and Software 201 (2023), 111682. https://doi.org/10.1016/j.jss.2023.111682
[83]
Arif Ali Khan, Muhammad Azeem Akbar, Aakash Ahmad, Mahdi Fahmideh, Mohammad Shameem, Valtteri Lahtinen, Muhammad Waseem, and Tommi Mikkonen. 2022. Agile Practices for Quantum Software Development: Practitioners Perspectives. ArXiv 09825 (2022). https://doi.org/10.48550/arXiv.2210.09825
[84]
Krishn Vishwas Kher, Ishan Joshi, Bharat Chandra Mukkavalli, Lei Zhang, and M. V. Panduranga Rao. 2023. Automatic Diagnosis of Quantum Software Bug Fix Motifs. In The 35th International Conference on Software Engineering and Knowledge Engineering, SEKE. 97–102. https://doi.org/10.18293/SEKE2023-196
[85]
Ray LaPierre. 2021. Quantum Parallelism and Computational Complexity. Springer International Publishing, Cham, 139–148. https://doi.org/10.1007/978-3-030-69318-3_10
[86]
B. Lenahan. 2021. Quantum Adoption: Lessons Learned from a Quantum Strategist. https://quantumstrategyinstitute.com/2021/10/24/quantum-adoption-lessons-learned-from-a-quantum-strategist/ Quantum Strategy Institute.
[87]
Frank Leymann. 2019. Towards a Pattern Language for Quantum Algorithms. In Quantum Technology and Optimization Problems (Lecture Notes in Computer Science (LNCS), Vol. 11413). Springer International Publishing, Cham, 218–230. https://doi.org/10.1007/978-3-030-14082-3_19
[88]
Frank Leymann and Johanna Barzen. 2020. The bitter truth about gate-based quantum algorithms in the NISQ era. Quantum Science and Technology 5, 4 (sep 2020), 044007. https://doi.org/10.1088/2058-9565/abae7d
[89]
Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, and Yuan Xie. 2020. Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs. Proc. ACM Program. Lang. 4, OOPSLA, Article 150 (nov 2020), 29 pages. https://doi.org/10.1145/3428218
[90]
Yuechen Li, Hanyu Pei, Linzhi Huang, Beibei Yin, and Kai-Yuan Cai. 2024. Automatic Repair of Quantum Programs via Unitary Operation. ACM Transactions on Software Engineering and Methodology (2024).
[91]
Yangjia Li and Mingsheng Ying. 2014. Debugging quantum processes using monitoring measurements. Physical Review A 89, 4 (2014), 042338. https://doi.org/10.1103/PhysRevA.89.042338
[92]
Ji Liu, Gregory T Byrd, and Huiyang Zhou. 2020. Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation. In Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. 1017–1030. https://doi.org/10.1109/LCA.2019.2935049
[93]
Peixun Long and Jianjun Zhao. 2024. Equivalence, identity, and unitarity checking in black-box testing of quantum programs. Journal of Systems and Software (2024), 112000. https://doi.org/10.1016/j.jss.2024.112000
[94]
Peixun Long and Jianjun Zhao. 2024. Testing multi-subroutine quantum programs: From unit testing to integration testing. ACM Transactions on Software Engineering and Methodology (2024). https://doi.org/10.48550/arXiv.2306.17407
[95]
Junjie Luo and Jianjun Zhao. 2023. Enhancing Code Safety in Quantum Intermediate Representation. In 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, 1771–1775. https://doi.org/10.1109/ASE56229.2023.00195
[96]
Junjie Luo and Jianjun Zhao. 2025. Formalization of quantum intermediate representations for code safety. Journal of Systems and Software 219 (2025), 112236.
[97]
Alexander Mandl, Johanna Barzen, Marvin Bechtold, Michael Keckeisen, Frank Leymann, and Patrick K. S. Vaudrevange. 2024. Linear Structure of Training Samples in Quantum Neural Network Applications. In Service-Oriented Computing – ICSOC 2023 Workshops, Flavia Monti, Pierluigi Plebani, Naouel Moha, Hye-young Paik, Johanna Barzen, Gowri Ramachandran, Devis Bianchini, Damian A. Tamburri, and Massimo Mecella (Eds.). Springer Nature Singapore, Singapore, 150–161. https://doi.org/10.1007/978-981-97-0989-2_12
[98]
Philip Maymin. 1997. Extending the Lambda Calculus to Express Randomized and Quantumized Algorithms. arXiv (1997). https://doi.org/10.48550/arXiv.quant-ph/9612052
[99]
B. Mayoh, E. Tyugu, and J. Penjam. 2013. Constraint Programming. Springer Berlin Heidelberg. https://books.google.es/books?id=B0aqCAAAQBAJ
[100]
Eñaut Mendiluze, Shaukat Ali, Paolo Arcaini, and Tao Yue. 2022. Muskit: A Mutation Analysis Tool for Quantum Software Testing. In Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering (Melbourne, Australia) (ASE ’21). IEEE Press, 1266–1270. https://doi.org/10.1109/ASE51524.2021.9678563
[101]
Sara Ayman Metwalli and Rodney Van Meter. 2024. Testing and Debugging Quantum Circuits. IEEE Transactions on Quantum Engineering (2024). https://doi.org/10.1109/TQE.2024.3374879
[102]
Andriy Miranskyy. 2022. Using quantum computers to speed up dynamic testing of software. In 1st International Workshop on Quantum Programming for Software Engineering. 26–31. https://doi.org/10.1145/3549036.3562061
[103]
Andriy Miranskyy, Mushahid Khan, Jean Paul Latyr Faye, and Udson C Mendes. 2022. Quantum computing for software engineering: Prospects. In 1st International Workshop on Quantum Programming for Software Engineering. 22–25. https://doi.org/10.1145/3549036.3562060
[104]
Andriy Miranskyy, Mushahid Khan, and Udson Mendes. 2024. Comparing Algorithms for Loading Classical Datasets into Quantum Memory. In IEEE International Conference on Quantum Computing and Engineering (QCE), Vol. 2. https://doi.org/10.48550/arXiv.2407.15745 To appear.
[105]
Andriy Miranskyy and Lei Zhang. 2019. On Testing Quantum Programs. In Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results (Montreal, Quebec, Canada) (ICSE-NIER ’19). IEEE Press, 57–60. https://doi.org/10.1109/ICSE-NIER.2019.00023
[106]
Andriy Miranskyy, Lei Zhang, and Javad Doliskani. 2020. Is Your Quantum Program Bug-Free?. In Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results (Seoul, South Korea) (ICSE-NIER ’20). Association for Computing Machinery, New York, NY, USA, 29–32. https://doi.org/10.1145/3377816.3381731
[107]
Andriy Miranskyy, Lei Zhang, and Javad Doliskani. 2021. On Testing and Debugging Quantum Software. arXiv (2021). https://doi.org/10.48550/arXiv.2103.09172
[108]
Enrique Moguel, Javier Berrocal, Jose García-Alonso, and Juan Manuel Murillo. 2020. A Roadmap for Quantum Software Engineering: applying the lessons learned from the classics. (2020). https://ceur-ws.org/Vol-2705/short1.pdf
[109]
Enrique Moguel, José Antonio Parejo, Antonio Ruiz-Cortés, Jose Garcia-Alonso, and Juan Manuel Murillo. 2024. Quantum software experiments: A reporting and laboratory package structure guidelines. arXiv (2024). https://doi.org/10.48550/arXiv.2405.04192
[110]
Enrique Moguel, Javier Rojo, David Valencia, Javier Berrocal, Jose Garcia-Alonso, and Juan M. Murillo. 2022. Quantum service-oriented computing: current landscape and challenges. Software Quality Journal 30, 4 (2022), 983–1002. https://doi.org/10.1007/s11219-022-09589-y
[111]
Armin Moin, Moharram Challenger, Atta Badii, and Stephan Günnemann. 2021. MDE4QAI: Towards Model-Driven Engineering for Quantum Artificial Intelligence. arXiv abs/2107.06708 (2021). https://doi.org/10.18420/inf2022_95
[112]
Facundo Molina and Alessandra Gorla. 2024. Test Oracle Automation in the era of LLMs. arXiv (2024). https://doi.org/10.48550/arXiv.2405.12766
[113]
Asmar Muqeet, Shaukat Ali, and Paolo Arcaini. 2024. Approximating Stochastic Quantum Noise Through Genetic Programming. In Search-Based Software Engineering, Gunel Jahangirova and Foutse Khomh (Eds.). Springer Nature Switzerland, Cham, 56–62. https://doi.org/10.1007/978-3-031-64573-0_5
[114]
Asmar Muqeet, Shaukat Ali, and Paolo Arcaini. 2024. Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers. In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (Sacramento, CA, USA) (ASE ’24). Association for Computing Machinery, New York, NY, USA, 2130–2141. https://doi.org/10.1145/3691620.3695275
[115]
Asmar Muqeet, Shaukat Ali, Tao Yue, and Paolo Arcaini. 2024. A Machine Learning-Based Error Mitigation Approach for Reliable Software Development on IBM's Quantum Computers. In Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (Porto de Galinhas, Brazil) (FSE 2024). Association for Computing Machinery, New York, NY, USA, 80–91. https://doi.org/10.1145/3663529.3663830
[116]
Asmar Muqeet, Tao Yue, Shaukat Ali, and Paolo Arcaini. 2024. Mitigating Noise in Quantum Software Testing Using Machine Learning. IEEE Transactions on Software Engineering (2024), 1–15. https://doi.org/10.1109/TSE.2024.3462974
[117]
Kentaro Murakami and Jianjun Zhao. 2022. Automated Synthesis of Quantum Circuits using Neural Network. In 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS). IEEE, 694–702. https://doi.org/10.1109/QRS57517.2022.00075
[118]
Juan M. Murillo, Jose Garcia-Alonso, Enrique Moguel, Johanna Barzen, Frank Leymann, Shaukat Ali, Tao Yue, Paolo Arcaini, Ricardo Pérez Castillo, Ignacio García Rodríguez de Guzmán, Mario Piattini, Antonio Ruiz-Cortés, Antonio Brogi, Jianjun Zhao, Andriy Miranskyy, and Manuel Wimmer. 2024. Challenges of Quantum Software Engineering for the Next Decade: The Road Ahead. arXiv (2024). https://doi.org/10.48550/arXiv.2404.06825
[119]
Pranav K. Nayak, Krishn V. Kher, M. Bharat Chandra, M. V. Panduranga Rao, and Lei Zhang. 2023. Q-PAC: Automated Detection of Quantum Bug-Fix Patterns. arXiv (2023). https://doi.org/10.48550/arXiv.2311.17705
[120]
Siyuan Niu, Adrien Suau, Gabriel Staffelbach, and Aida Todri-Sanial. 2020. A Hardware-Aware Heuristic for the Qubit Mapping Problem in the NISQ Era. IEEE Transactions on Quantum Engineering 1 (2020), 1–14. https://doi.org/10.1109/TQE.2020.3026544
[121]
Noah H. Oldfield, Christoph Laaber, Tao Yue, and Shaukat Ali. 2024. Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements. arXiv (2024). https://doi.org/10.48550/arXiv.2405.15450
[122]
Moses Openja, Mohammad Mehdi Morovati, Le An, Foutse Khomh, and Mouna Abidi. 2022. Technical debts and faults in open-source quantum software systems: An empirical study. Journal of Systems and Software 193 (2022), 111458. https://doi.org/10.1016/J.JSS.2022.111458
[123]
Scott Pakin. 2016. A quantum macro assembler. In 2016 IEEE High Performance Extreme Computing Conference (HPEC). 1–8. https://doi.org/10.1109/HPEC.2016.7761637
[124]
Matteo Paltenghi and Michael Pradel. 2022. Bugs in Quantum computing platforms: an empirical study. Proceedings of the ACM on Programming Languages 6, OOPSLA1 (2022), 1–27. https://doi.org/10.1145/3527330
[125]
Matteo Paltenghi and Michael Pradel. 2023. MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform. In Proceedings of the 45th International Conference on Software Engineering (Melbourne, Victoria, Australia) (ICSE ’23). IEEE Press, 2413–2424. https://doi.org/10.1109/ICSE48619.2023.00202
[126]
Matteo Paltenghi and Michael Pradel. 2024. Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit. Proc. ACM Softw. Eng. 1, FSE, Article 95 (jul 2024), 23 pages. https://doi.org/10.1145/3660802
[127]
Michael P Papazoglou, Paolo Traverso, Schahram Dustdar, and Frank Leymann. 2007. Service-oriented computing: State of the art and research challenges. Computer 40, 11 (2007), 38–45. https://doi.org/10.1109/MC.2007.400
[128]
Nikhil Patnaik, Joseph Hallett, and Awais Rashid. 2024. Saltzer & Schroeder for 2030: Security engineering principles in a world of AI. arXiv (2024). https://doi.org/10.48550/arXiv.2407.05710
[129]
Yuxiang Peng, Jacob Young, Pengyu Liu, and Xiaodi Wu. 2024. SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation. Proc. ACM Program. Lang. 8, POPL, Article 81 (jan 2024), 31 pages. https://doi.org/10.1145/3632923
[130]
Ricardo Pérez-Castillo, Luis Jiménez-Navajas, and Mario Piattini. 2022. QRev: migrating quantum code towards hybrid information systems. Software Quality Journal 30, 2 (2022), 551–580. https://doi.org/10.1007/s11219-021-09574-x
[131]
Carlos A. Pérez-Delgado and Hector G. Perez-Gonzalez. 2020. Towards a Quantum Software Modeling Language. In Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops (Seoul, Republic of Korea) (ICSEW’20). Association for Computing Machinery, New York, NY, USA, 442–444. https://doi.org/10.1145/3387940.3392183
[132]
Mauro Pezzè, Matteo Ciniselli, Luca Di Grazia, Niccolò Puccinelli, and Ketai Qiu. 2024. The Trailer of the ACM 2030 Roadmap for Software Engineering. 2030 Software Engineering Roadmap Workshop. https://www.inf.usi.ch/faculty/pezze/media/SE2030SENreport.pdf
[133]
Mario Piattini, Manuel Serrano, Ricardo Perez-Castillo, Guido Petersen, and Jose Luis Hevia. 2021. Toward a Quantum Software Engineering. IT Professional 23, 1 (2021), 62–66. https://doi.org/10.1109/MITP.2020.3019522
[134]
Furkan Polat, Hasan Tuncer, Armin Moin, and Moharram Challenger. 2024. Model-Driven Engineering for Quantum Programming: A Case Study on Ground State Energy Calculation. arXiv (2024). https://doi.org/10.48550/arXiv.2405.17065
[135]
Gabriel Joseph Pontolillo and Mohammad Reza Mousavi. 2024. Delta Debugging for Property-Based Regression Testing of Quantum Programs. In Proceedings of the 5th ACM/IEEE International Workshop on Quantum Software Engineering (Lisbon, Portugal) (Q-SE 2024). Association for Computing Machinery, New York, NY, USA, 1–8. https://doi.org/10.1145/3643667.3648219
[136]
John Preskill. 2018. Quantum computing in the NISQ era and beyond. Quantum 2 (2018), 79. https://doi.org/10.22331/q-2018-08-06-79
[137]
Ricardo Pérez-Castillo, Miriam Fernández-Osuna, Jose Antonio Cruz-Lemus, and Mario Piattini. 2024. A Preliminary Study of the Usage of Design Patterns in Quantum Software. In 2024 IEEE/ACM 4nd International Workshop on Quantum Software Engineering (Q-SE). In Press. https://ieeexplore.ieee.org/document/10649787
[138]
Ricardo Pérez-Castillo, Luis Jiménez-Navajas, Iván Cantalejo, and Mario Piattini. 2023. Generation of Classical-Quantum Code from UML models. 02 (2023), 165–168. https://doi.org/10.1109/QCE57702.2023.10202
[139]
Ricardo Pérez-Castillo, Luis Jiménez-Navajas, and Mario Piattini. 2021. Modelling Quantum Circuits with UML. In 2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE). 7–12. https://doi.org/10.1109/Q-SE52541.2021.00009
[140]
Ricardo Pérez-Castillo, Manuel A. Serrano, José A. Cruz-Lemus, and Mario Piattini. 2024. Guidelines to use the incremental commitment spiral model for developing quantum-classical systems. Quantum Information and Computation 24, 1&2 (2024), 71–88. https://www.rintonpress.com/xxqic24/qic-24-12/0071-0088.pdf
[141]
Ricardo Pérez-Castillo, Manuel A. Serrano, and Mario Piattini. 2021. Software modernization to embrace quantum technology. Advances in Engineering Software 151 (2021), 102933. https://doi.org/10.1016/j.advengsoft.2020.102933
[142]
Florian Richoux, Jean-François Baffier, and Philippe Codognet. 2023. Learning qubo Models for Quantum Annealing: A Constraint-Based Approach. In Computational Science – ICCS 2023, Jiří Mikyška, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, and Peter M.A. Sloot (Eds.). Springer Nature Switzerland, Cham, 153–167. https://doi.org/10.1007/978-3-031-36030-5_12
[143]
Javier Rojo, David Valencia, Javier Berrocal, Enrique Moguel, Jose Garcia-Alonso, and Juan Manuel Murillo Rodriguez. 2021. Trials and tribulations of developing hybrid quantum-classical microservices systems. arXiv (2021). https://doi.org/10.48550/arXiv.2105.04421
[144]
Javier Romero-Álvarez, Jaime Alvarado-Valiente, Enrique Moguel, and Jose Garcia-Alonso. 2023. Quantum Web Services: Development and Deployment. In Web Engineering, Irene Garrigós, Juan Manuel Murillo Rodríguez, and Manuel Wimmer (Eds.). Springer Nature Switzerland, Cham, 421–423. https://doi.org/10.1007/978-3-031-34444-2_39
[145]
Javier Romero-Álvarez, Jaime Alvarado-Valiente, Enrique Moguel, José García-Alonso, and Juan M Murillo. 2022. Using Open API for the Development of Hybrid Classical-Quantum Services. In International Conference on Service-Oriented Computing. Springer, 364–368. https://doi.org/10.1007/978-3-031-26507-5_34
[146]
Javier Romero-Álvarez, Jaime Alvarado-Valiente, Enrique Moguel, Jose Garcia-Alonso, and Juan M. Murillo. [n. d.]. Enabling continuous deployment techniques for quantum services. Software: Practice and Experience 54, 8 ([n. d.]), 1491–1515. https://doi.org/10.1002/spe.3326
[147]
Javier Romero-Álvarez, Jaime Alvarado-Valiente, Enrique Moguel, José Garcia-Alonso, and Juan M. Murillo. 2024. Quantum Service-oriented Computing: A Proposal for Quantum Software as a Service.
[148]
Marie Salm, Johanna Barzen, Frank Leymann, and Philipp Wundrack. 2022. Optimizing the Prioritization of Compiled Quantum Circuits by Machine Learning Approaches. In Symposium and Summer School on Service-Oriented Computing. Springer, 161–181. https://doi.org/10.1007/978-3-031-18304-1_9
[149]
Marie Salm, Johanna Barzen, Frank Leymann, and Philipp Wundrack. 2023. How to Select Quantum Compilers and Quantum Computers Before Compilation. In CLOSER. 172–183. https://doi.org/10.5220/0011775300003488
[150]
Johannes Sametinger. 1997. Software engineering with reusable components. Springer. https://doi.org/10.1007/978-3-662-03345-6
[151]
Javier Sanchez-Rivero, Daniel Talaván, Jose Garcia-Alonso, Antonio Ruiz-Cortés, and Juan Manuel Murillo. 2023. Operating with Quantum Integers: An Efficient ‘Multiples of’ Oracle. In Service-Oriented Computing, Marco Aiello, Johanna Barzen, Schahram Dustdar, and Frank Leymann (Eds.). Springer Nature Switzerland, Cham, 105–124. https://doi.org/10.1007/978-3-031-45728-9_7
[152]
Javier Sanchez-Rivero, Daniel Talaván, Jose Garcia-Alonso, Antonio Ruiz-Cortés, and Juan Manuel Murillo. 2023. Automatic Generation of an Efficient Less-Than Oracle for Quantum Amplitude Amplification. In 2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE). 26–33. https://doi.org/10.1109/Q-SE59154.2023.00011
[153]
Javier Sanchez-Rivero, Daniel Talaván, Jose Garcia-Alonso, Antonio Ruiz-Cortés, and Juan Manuel Murillo. 2023. Automatic Generation of Efficient Oracles: The Less-Than Case. In SSRN, Vol. 1847. https://doi.org/10.2139/ssrn.4594664
[154]
Javier Sanchez-Rivero, Daniel Talaván, Jose Garcia-Alonso, Antonio Ruiz-Cortés, and Juan Manuel Murillo. 2023. Some Initial Guidelines for Building Reusable Quantum Oracles. In Services and Quantum Software - 21st International Conference on Service-Oriented Computing. https://doi.org/10.1007/978-981-97-0989-2_16
[155]
Yuki Sano, Kosuke Mitarai, Naoki Yamamoto, and Naoki Ishikawa. 2024. Accelerating Grover Adaptive Search: Qubit and Gate Count Reduction Strategies With Higher Order Formulations. IEEE Transactions on Quantum Engineering 5 (2024), 1–12. https://doi.org/10.1109/TQE.2024.3393437
[156]
Lorenzo Saraiva, Edward Hermann Haeusler, Vaston G Costa, and Marcos Kalinowski. 2021. Non-Functional Requirements for Quantum Programs. In Q-SET@ QCE. 89–73. https://ceur-ws.org/Vol-3008/paper4.pdf
[157]
Naoto Sato and Ryota Katsube. 2024. Locating Buggy Segments in Quantum Program Debugging. In Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results (Lisbon, Portugal) (ICSE-NIER’24). Association for Computing Machinery, New York, NY, USA, 26–31. https://doi.org/10.1145/3639476.3639761
[158]
D.C. Schmidt. 2006. Guest Editor's Introduction: Model-Driven Engineering. Computer 39, 2 (2006), 25–31. https://doi.org/10.1109/MC.2006.58
[159]
Raphael Seidel, Nikolay Tcholtchev, Sebastian Bock, Colin Kai-Uwe Becker, and Manfred Hauswirth. 2021. Efficient Floating Point Arithmetic for Quantum Computers. arXiv (2021). https://doi.org/10.48550/arXiv.2112.10537
[160]
Manuel A. Serrano, José A. Cruz-Lemus, Ricardo Perez-Castillo, and Mario Piattini. 2022. Quantum Software Components and Platforms: Overview and Quality Assessment. 55, 8, Article 164 (dec 2022), 31 pages. https://doi.org/10.1145/3548679
[161]
Minqi Shao and Jianjun Zhao. 2024. A Coverage-Guided Testing Framework for Quantum Neural Networks. arXiv preprint arXiv:2411.02450 (2024).
[162]
Ruslan Shaydulin, Caleb Thomas, and Paige Rodeghero. 2020. Making Quantum Computing Open: Lessons from Open Source Projects. In ICSE ’20: 42nd International Conference on Software Engineering, Workshops. ACM, 451–455. https://doi.org/10.1145/3387940.3391471
[163]
Peter W Shor. 1999. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM review 41, 2 (1999), 303–332. https://doi.org/10.1137/S0036144598347011
[164]
Daniel R. Simon. 1997. On the Power of Quantum Computation. SIAM J. Comput. 26, 5 (1997), 1474–1483. https://doi.org/10.1137/S0097539796298637
[165]
Janakan Sivaloganathan, Ainaz Jamshidi, Andriy Miranskyy, and Lei Zhang. 2024. Automating Quantum Software Maintenance: Flakiness Detection and Root Cause Analysis. arXiv (2024). https://doi.org/10.48550/arXiv.2410.23578
[166]
Robert S. Smith, Michael J. Curtis, and William J. Zeng. 2017. A Practical Quantum Instruction Set Architecture. arXiv (2017). https://doi.org/10.48550/arXiv.1608.03355
[167]
John A Smolin, Jay M Gambetta, and Graeme Smith. 2012. Efficient method for computing the maximum-likelihood quantum state from measurements with additive gaussian noise. Physical review letters 108, 7 (2012), 070502. https://doi.org/10.1103/PhysRevLett.108.070502
[168]
Susan Stepney, John Clark, Andy Tyrell, Colin Johnson, Jonathan Timmis, Derek Partridge, Andy Adamatsky, and Robert Smith. 2004. Journeys in non-classical computation. Grand Challenges in Computing Research (2004), 29–32. https://www.cs.york.ac.uk/nature/gc7/journeys.pdf
[169]
V. Stirbu, M. Haghparast, M. Waseem, N. Dayama, and T. Mikkonen. 2023. Full-Stack Quantum Software in Practice: Ecosystem, Stakeholders and Challenges. (sep 2023), 177–180. https://doi.org/10.1109/QCE57702.2023.10205
[170]
Krysta Svore, Alan Geller, Matthias Troyer, John Azariah, Christopher Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, Andres Paz, and Martin Roetteler. 2018. Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL. In Proceedings of the Real World Domain Specific Languages Workshop 2018 (Vienna, Austria) (RWDSL2018). Association for Computing Machinery, New York, NY, USA, Article 7, 10 pages. https://doi.org/10.1145/3183895.3183901
[171]
Valerio Terragni, Partha Roop, and Kelly Blincoe. 2024. The Future of Software Engineering in an AI-Driven World. arXiv (2024). https://doi.org/10.48550/arXiv.2406.07737
[172]
Javier Troya, Nathalie Moreno, Manuel F. Bertoa, and Antonio Vallecillo. 2021. Uncertainty representation in software models: a survey. Software and Systems Modeling 20, 4 (2021), 1183–1213. https://doi.org/10.1007/s10270-020-00842-1
[173]
Felix Truger, Martin Beisel, Johanna Barzen, Frank Leymann, and Vladimir Yussupov. 2022. Selection and optimization of hyperparameters in warm-started quantum optimization for the MaxCut problem. Electronics 11, 7 (2022), 1033. https://doi.org/10.3390/electronics11071033
[174]
Eñaut Mendiluze Usandizaga, Tao Yue, Paolo Arcaini, and Shaukat Ali. 2023. Which Quantum Circuit Mutants Shall Be Used? An Empirical Evaluation of Quantum Circuit Mutations. arXiv (2023). https://doi.org/10.48550/arXiv.2311.16913
[175]
David Valencia, Jose Garcia-Alonso, Javier Rojo, Enrique Moguel, Javier Berrocal, and Juan Manuel Murillo. 2021. Hybrid Classical-Quantum Software Services Systems: Exploration of the Rough Edges. In Quality of Information and Communications Technology, Ana C. R. Paiva, Ana Rosa Cavalli, Paula Ventura Martins, and Ricardo Pérez-Castillo (Eds.). Springer International Publishing, Cham, 225–238. https://doi.org/10.1007/978-3-030-85347-1_17
[176]
Tamás Varga, Yaiza Aragonés-Soria, and Manuel Oriol. 2024. Quantum types: going beyond qubits and quantum gates. arXiv (2024). https://doi.org/10.1145/3643667.3648225
[177]
Jiyuan Wang, Ming Gao, Yu Jiang, Jian-Guang Lou, Yue Gao, Dongmei Zhang, and Jiaguang Sun. 2018. QuanFuzz: Fuzz Testing of Quantum Program. arXiv abs/1810.10310 (2018). https://doi.org/10.48550/arXiv.1810.10310
[178]
Jiyuan Wang, Qian Zhang, Guoqing Harry Xu, and Miryung Kim. 2021. QDiff: Differential Testing of Quantum Software Stacks. In 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE). 692–704. https://doi.org/10.1109/ASE51524.2021.9678792
[179]
Qing Wang, Junjie Wang, Mingyang Li, Yawen Wang, and Zhe Liu. 2024. A Roadmap for Software Testing in Open Collaborative Development Environments. arXiv (2024). https://doi.org/10.48550/arXiv.2406.05438
[180]
Xinyi Wang, Shaukat Ali, Aitor Arrieta, Paolo Arcaini, and Maite Arratibel. 2024. Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators’ Software in an Industrial Context. In Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (Porto de Galinhas, Brazil) (FSE 2024). Association for Computing Machinery, New York, NY, USA, 399–410. https://doi.org/10.1145/3663529.3663859
[181]
Xinyi Wang, Shaukat Ali, Tao Yue, and Paolo Arcaini. 2024. Quantum Approximate Optimization Algorithm for Test Case Optimization. IEEE Transactions on Software Engineering (2024), 1–16. https://doi.org/10.1109/TSE.2024.3479421
[182]
Xinyi Wang, Paolo Arcaini, Tao Yue, and Shaukat Ali. 2021. Application of Combinatorial Testing to Quantum Programs. In 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS). 179–188. https://doi.org/10.1109/QRS54544.2021.00029
[183]
Xinyi Wang, Paolo Arcaini, Tao Yue, and Shaukat Ali. 2021. Generating Failing Test Suites for Quantum Programs With Search. In Search-Based Software Engineering, Una-May O’Reilly and Xavier Devroey (Eds.). Springer International Publishing, Cham, 9–25. https://doi.org/10.1007/978-3-030-88106-1_2
[184]
Xinyi Wang, Paolo Arcaini, Tao Yue, and Shaukat Ali. 2022. Quito: A Coverage-Guided Test Generator for Quantum Programs. In Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering (Melbourne, Australia) (ASE ’21). IEEE Press, 1237–1241. https://doi.org/10.1109/ASE51524.2021.9678798
[185]
Xinyi Wang, Paolo Arcaini, Tao Yue, and Shaukat Ali. 2022. QuSBT: Search-Based Testing of Quantum Programs. In Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings (Pittsburgh, Pennsylvania) (ICSE ’22). Association for Computing Machinery, New York, NY, USA, 173–177. https://doi.org/10.1145/3510454.3516839
[186]
Xinyi Wang, Paolo Arcaini, Tao Yue, and Shaukat Ali. 2023. QuCAT: A Combinatorial Testing Tool for Quantum Software. In 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE Computer Society, Los Alamitos, CA, USA, 2066–2069. https://doi.org/10.1109/ASE56229.2023.00062
[187]
Xinyi Wang, Asmar Muqeet, Tao Yue, Shaukat Ali, and Paolo Arcaini. 2024. Test Case Minimization with Quantum Annealers. ACM Trans. Softw. Eng. Methodol. (jul 2024). https://doi.org/10.1145/3680467 Just Accepted.
[188]
Xinyi Wang, Tongxuan Yu, Paolo Arcaini, Tao Yue, and Shaukat Ali. 2022. Mutation-Based Test Generation for Quantum Programs with Multi-Objective Search. In Proceedings of the Genetic and Evolutionary Computation Conference (Boston, Massachusetts) (GECCO ’22). Association for Computing Machinery, New York, NY, USA, 1345–1353. https://doi.org/10.1145/3512290.3528869
[189]
Benjamin Weder, Johanna Barzen, Martin Beisel, and Frank Leymann. 2023. Provenance-Preserving Analysis and Rewrite of Quantum Workflows for Hybrid Quantum Algorithms. SN Computer Science 4, 3 (2023), 233. https://doi.org/10.1007/s42979-022-01625-9
[190]
Benjamin Weder, Johanna Barzen, Frank Leymann, and Daniel Vietz. 2022. Quantum Software Development Lifecycle. Springer International Publishing, Cham, 61–83. https://doi.org/10.1007/978-3-031-05324-5_4
[191]
Benjamin Weder, Johanna Barzen, Frank Leymann, and Michael Zimmermann. 2021. Hybrid quantum applications need two orchestrations in superposition: a software architecture perspective. In 2021 IEEE International Conference on Web Services (ICWS). IEEE, 1–13. https://doi.org/10.1109/ICWS53863.2021.00015
[192]
Benjamin Weder, Uwe Breitenbücher, Frank Leymann, and Karoline Wild. 2020. Integrating quantum computing into workflow modeling and execution. In 2020 IEEE/ACM 13th International Conference on Utility and Cloud Computing (UCC). IEEE, 279–291. https://doi.org/10.1109/UCC48980.2020.00046
[193]
Manuela Weigold, Johanna Barzen, Frank Leymann, and Daniel Vietz. 2021. Patterns for hybrid quantum algorithms. In Symposium and Summer School on Service-Oriented Computing, Vol. 1429. Springer, 34–51. https://doi.org/10.1007/978-3-030-87568-8_2
[194]
Y. S. Weinstein, M. A. Pravia, E. M. Fortunato, S. Lloyd, and D. G. Cory. 2001. Implementation of the Quantum Fourier Transform. Physical Review Letters 86 (Feb 2001), 1889–1891. Issue 9. https://doi.org/10.1103/PhysRevLett.86.1889
[195]
Nathan Wiebe and Vadym Kliuchnikov. 2013. Floating point representations in quantum circuit synthesis. New Journal of Physics 15, 9 (sep 2013), 093041. https://doi.org/10.1088/1367-2630/15/9/093041
[196]
Karoline Wild, Uwe Breitenbücher, Lukas Harzenetter, Frank Leymann, Daniel Vietz, and Michael Zimmermann. 2020. TOSCA4QC: two modeling styles for TOSCA to automate the deployment and orchestration of quantum applications. In 2020 IEEE 24th International Enterprise Distributed Object Computing Conference (EDOC). IEEE, 125–134. https://doi.org/10.1109/EDOC49727.2020.00024
[197]
Shangzhou Xia and Jianjun Zhao. 2023. Static entanglement analysis of quantum programs. In 2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE). IEEE, 42–49. https://doi.org/10.1109/Q-SE59154.2023.00013
[198]
Shangzhou Xia, Jianjun Zhao, Fuyuan Zhang, and Xiaoyu Guo. 2024. Concolic Testing of Quantum Programs. arXiv (2024). https://doi.org/10.48550/arXiv.2405.04860
[199]
Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, and Fuyuki Ishikawa. 2023. QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. In 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE). 1149–1161. https://doi.org/10.1109/ASE56229.2023.00196
[200]
Haibo Yu and Jianjun Zhao. 2025. The Quantum Program Dependence Graph and Its Uses in Quantum Software Development. In 2025 IEEE/ACM 6th International Workshop on Quantum Software Engineering (Q-SE).
[201]
Tao Yue, Shaukat Ali, and Paolo Arcaini. 2023. Towards Quantum Software Requirements Engineering. In 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), Vol. 02. 161–164. https://doi.org/10.1109/QCE57702.2023.10201
[202]
Tao Yue, Wolfgang Mauerer, Shaukat Ali, and Davide Taibi. 2023. Challenges and Opportunities in Quantum Software Architecture. Springer Nature Switzerland, Cham, 1–23. https://doi.org/10.1007/978-3-031-36847-9_1
[203]
Lei Zhang and Andriy Miranskyy. 2024. Automated flakiness detection in quantum software bug reports. In IEEE International Conference on Quantum Computing and Engineering (QCE), Vol. 2. https://doi.org/10.48550/arXiv.2408.05331 To appear.
[204]
Lei Zhang, Andriy Miranskyy, and Walid Rjaibi. 2021. Quantum Advantage and the Y2K Bug: A Comparison. IEEE Software 38, 2 (2021), 80–87. https://doi.org/10.1109/MS.2020.2985321
[205]
Lei Zhang, Andriy Miranskyy, Walid Rjaibi, Greg Stager, Michael Gray, and John Peck. 2023. Making existing software quantum safe: A case study on IBM Db2. Information and Software Technology 161 (2023), 107249. https://doi.org/10.1016/j.infsof.2023.107249
[206]
Lei Zhang, Mahsa Radnejad, and Andriy Miranskyy. 2023. Identifying Flakiness in Quantum Programs. In ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM. IEEE, 1–7. https://doi.org/10.1109/ESEM56168.2023.10304850
[207]
Jianjun Zhao. 2020. Quantum Software Engineering: Landscapes and Horizons. arXiv (jul 2020). https://doi.org/10.48550/arXiv.2007.07047
[208]
Jianjun Zhao. 2021. Some size and structure metrics for quantum software. In 2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE). IEEE, 22–27. https://doi.org/10.1109/Q-SE52541.2021.00012
[209]
Jianjun Zhao. 2023. On Refactoring Quantum Programs in Q#. In 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), Vol. 2. IEEE, 169–172. https://doi.org/10.1109/QCE57702.2023.10203
[210]
Jianjun Zhao. 2024. Towards An Architecture Description Language for Hybrid Quantum-Classical Systems. In 2024 IEEE International Conference on Quantum Software (QSW). IEEE, 19–23. https://doi.org/10.1109/QSW62656.2024.00016
[211]
Pengzhan Zhao, Zhongtao Miao, Shuhan Lan, and Jianjun Zhao. 2023. Bugs4Q: A benchmark of existing bugs to enable controlled testing and debugging studies for quantum programs. J. Syst. Softw. 205, C (nov 2023), 13 pages. https://doi.org/10.1016/j.jss.2023.111805
[212]
Pengzhan Zhao, Xiongfei Wu, Zhuo Li, and Jianjun Zhao. 2023. QCchecker: Detecting bugs in quantum programs via static analysis. In 2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE). IEEE, 50–57. https://doi.org/10.1109/Q-SE59154.2023.00014
[213]
Pengzhan Zhao, Xiongfei Wu, Junjie Luo, Zhuo Li, and Jianjun Zhao. 2023. An Empirical Study of Bugs in Quantum Machine Learning Frameworks. In 2023 IEEE International Conference on Quantum Software (QSW). 68–75. https://doi.org/10.1109/QSW59989.2023.00018
[214]
Pengzhan Zhao, Jianjun Zhao, and Lei Ma. 2021. Identifying bug patterns in quantum programs. In 2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE). IEEE, 16–21. https://doi.org/10.1109/Q-SE52541.2021.00011
[215]
Xudong Zhao, Xiaolong Xu, Lianyong Qi, Xiaoyu Xia, Muhammad Bilal, Wenwen Gong, and Huaizhen Kou. 2024. Unraveling quantum computing system architectures: An extensive survey of cutting-edge paradigms. Information and Software Technology 167 (2024), 107380. https://doi.org/10.1016/j.infsof.2023.107380
[216]
Huiyang Zhou and Gregory T. Byrd. 2019. Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation. IEEE Computer Architecture Letters 18, 2 (2019), 111–114. https://doi.org/10.1109/LCA.2019.2935049
Index Terms
- Quantum Software Engineering: Roadmap and Challenges Ahead
Recommendations
Quantum software engineering and quantum software development lifecycle: a survey
AbstractQuantum software engineering is advancing in the domain of quantum computing research and application, yet the documentation is scattered. The slow transition from Von-Neumann based computation systems to quantum systems, and conserving the ...
Patterns for Quantum Software Engineering
ReAQCT '24: Proceedings of Recent Advances in Quantum Computing and TechnologyAs quantum computing continues to advance, the development of reliable and scalable quantum software systems becomes increasingly crucial. However, designing and implementing hybrid (quantum-classical) software systems poses unique challenges that ...
Unraveling quantum computing system architectures: An extensive survey of cutting-edge paradigms
Abstract Context:The convergence of physics and computer science in the realm of quantum computing systems has sparked a profound revolution within the computer industry. However, despite such promise, the existing focus on quantum software systems ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
EISSN:1557-7392
Table of ContentsCopyright © 2025 Copyright held by the owner/author(s).
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Online AM: 29 January 2025
Accepted: 18 December 2024
Revised: 14 December 2024
Received: 29 March 2024
Check for updates
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 156Total Downloads
- Downloads (Last 12 months)156
- Downloads (Last 6 weeks)156
Reflects downloads up to 08 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in