Introduction to quantum software engineering

[en] Quantum computing allows for processing information exponentially faster than classical computing, which opens opportunities in many software applications. Nevertheless, the transition to this completely different programming paradigm, with counterintuitive quantum concepts, presents substantial difficulties for software engineers when developing quantum programs. In this tutorial, we present an introductory course on quantum computing and quantum software engineering frameworks and propose exercises on writing, executing, and analyzing quantum circuits.

Research center :

Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SVV - Software Verification and Validation

Disciplines :

Computer science

Author, co-author :

MARQUER, Yoann ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV

BIANCULLI, Domenico ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV

External co-authors :

Language :

English

Title :

Introduction to quantum software engineering

Publication date :

19 November 2025

Event name :

26th International Conference on Product-Focused Software Process Improvement (PROFES 2025)

Event place :

Salerno, Italy

Event date :

December 1-3 2025

Audience :

International

Main work title :

Proceedings of the 26th International Conference on Product-Focused Software Process Improvement (PROFES 2025)

Publisher :

Springer

Pages :

163-168

Peer reviewed :

Peer reviewed

Focus Area :

Security, Reliability and Trust

FnR Project :

FNR14016225 - INSTRUCT - Integrated Satellite-terrestrial Systems For Ubiquitous Beyond 5g Communications, 2020 (01/10/2020-30/09/2026) - Symeon Chatzinotas

Name of the research project :

R-AGR-3781 - IPBG INSTRUCT (SVV)/ SES / Dummy - BRIAND Lionel

Funding number :

IPBG19/14016225/INSTRUCT

Available on ORBilu :

since 22 September 2025

Statistics

Number of views

60 (21 by Unilu)

Number of downloads

94 (3 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

OpenAlex citations

Bibliography

Akbar, M.A., Khan, A.A., Mahmood, S., Rafi, S.: Quantum software engineering: a new genre of computing. In: Proceedings of QCE-NE. ACM (2024)
Arute, F., et al.: Quantum supremacy using a programmable superconducting processor. Nature 574 (2019)
Di Matteo, O.: On the need for effective tools for debugging quantum programs. In: Proceedings of Q-SE. ACM (2024)
Di Matteo, O.: The art of abstraction in quantum software. In: 2025 IEEE/ACM International Workshop on Quantum Software Engineering (Q-SE), pp. 25–26 (2025)
Ding, Y., Gokhale, P., Lin, S.F., Rines, R., Propson, T., Chong, F.T.: Systematic crosstalk mitigation for superconducting qubits via frequency-aware compilation. In: Proceedings of MICRO (2020)
Esposito, M., Sabzevari, M.T., Ye, B., Falessi, D., Khan, A.A., Taibi, D.: Classiq: towards a translation framework to bridge the classical-quantum programming gap. In: Proceedings of QSE-NE. ACM (2024)
Honarvar, S., Mousavi, M.R., Nagarajan, R.: Property-based testing of quantum programs in Q#. In: Proceedings of ICSEW. ACM (2020)
Huang, Y., Martonosi, M.: Statistical assertions for validating patterns and finding bugs in quantum programs. In: Proceedings of ISCA. ACM (2019)
Jiang, N., Wang, Z., Wang, J.: Debugging quantum programs using probabilistic quantum cloning (2023)
Li, G., Zhou, L., Yu, N., Ding, Y., Ying, M., Xie, Y.: Projection-based runtime assertions for testing and debugging quantum programs. Proc. ACM Program. Lang. 4 (2020)
Liimatta, P., Taipale, P., Halunen, K., Heinosaari, T., Mikkonen, T., Stirbu, V.: Research versus practice in quantum software engineering: experiences from credit scoring use case. IEEE Softw. 41 (2024)
Liu, J., Byrd, G.T., Zhou, H.: Quantum circuits for dynamic runtime assertions in quantum computation. In: Proceedings of ASPLOS. ACM (2020)
Liu, J., Zhou, H.: Systematic approaches for precise and approximate quantum state runtime assertion. In: Proceedings of HPCA. IEEE (2021)
Luo, J., Zhao, P., Miao, Z., Lan, S., Zhao, J.: A comprehensive study of bug fixes in quantum programs. In: Proceedings of SANER. IEEE (2022)
Metwalli, S.A., Van Meter, R.: A tool for debugging quantum circuits. In: Proceedings of QCE. IEEE (2022)
Minh Do, C., Ogata, K.: Symbolic model checking quantum circuits in maude. PeerJ Comput. Sci. 10 (2024)
Murillo, J.M., et al.: Quantum software engineering: roadmap and challenges ahead. ACM Trans. Softw. Eng. Methodol. 34(5) (2025)
Oldfield, N.H., Laaber, C., Yue, T., Ali, S.: Faster and better quantum software testing through specification reduction and projective measurements (2024)
Paltenghi, M., Pradel, M.: Bugs in quantum computing platforms: an empirical study. Proc. Program. Lang. 6 (2022)
Paltenghi, M., Pradel, M.: Analyzing quantum programs with lintq: a static analysis framework for qiskit. Proc. Softw. Eng. 1 (2024)
Sarovar, M., Proctor, T., Rudinger, K., Young, K., Nielsen, E., Blume-Kohout, R.: Detecting crosstalk errors in quantum information processors. Quantum J. 4 (2020)
Varga, T., Aragonés-Soria, Y., Oriol, M.: Quantum types: going beyond qubits and quantum gates. In: Proceedings of Q-SE (2024)
Wang, J., et al.: Quanfuzz: fuzz testing of quantum program (2018)
Wang, X., Arcaini, P., Yue, T., Ali, S.: Qusbt: search-based testing of quantum programs. In: Proceedings of ICSE. ACM (2022)
Wang, X., Arcaini, P., Yue, T., Ali, S.: Qucat: a combinatorial testing tool for quantum software. In: Proceedings of ASE. IEEE (2024)
Waseem, M., et al.: Qadl: prototype of quantum architecture description language (2024)
Ye, J., et al.: Quratest: integrating quantum specific features in quantum program testing. In: Proceedings of ASE. IEEE (2024)
Zhao, P., Wu, X., Li, Z., Zhao, J.: Qchecker: detecting bugs in quantum programs via static analysis. In: Proceedings of Q-SE (2023)
Zhao, P., Zhao, J., Ma, L.: Identifying bug patterns in quantum programs. In: Proceedings of Q-SE (2021)