Welcome to the first edition of the workshop on Quantum Programming for Software Engineering (QP4SE) to be held virtually, November 18th, 2022, co-located with ESEC/FSE 2022, Singapore.
Proceeding Downloads
Automatic generation of test circuits for the verification of Quantum deterministic algorithms
- Antonio García de la Barrera Amo,
- Manuel A. Serrano,
- Ignacio García Rodríguez de Guzmán,
- Macario Polo,
- Mario Piattini
Quantum computing will make it possible to exponentially accelerate the performance of a wide range of computational problems, such as cryptography, machine learning or chemical simulation. However, the quantum potential is not only a matter of ...
Towards Quantum-algorithms-as-a-service
Quantum computing is an emerging field of high interest. Many companies have started to work on developing more powerful and stable quantum computers. However, developers still struggle to master the art of programming with a quantum computer. One of ...
Embracing iterations in Quantum software: a vision
- Arif Ali Khan,
- Mahdi Fahmideh,
- Aakash Ahmad,
- Muhammad Waseem,
- Mahmood Niazi,
- Valtteri Lahtinen,
- Tommi Mikkonen
In today’s software engineering, iterations, affordable en masse, form an important part of just about any system. However, not all computing resources are cheap to consume. In High-Performance (HPC) and Quantum Computing (QC), executions can consume ...
Quantum optimization for fast CAN bus intrusion detection
Modern vehicles, nowadays, come loaded with hundreds of different sensors generating a huge amount of data. This data is shared and processed among different Electronic Control Units (ECUs) through an in-vehicle network, such as the CAN bus, to ...
QAI4ASE: Quantum artificial intelligence for automotive software engineering
Nowadays, the size and complexity of the automotive development life-cycle increase the possibility of cyber-attacks. In this context, team developers play a primary role in managing cyber security, risk assessment, and all phases of software ...
Quantum computing for software engineering: prospects
Quantum computers (QCs) are maturing. When QCs are powerful enough, they may be able to handle problems in chemistry, physics, and finance that are not classically solvable. However, the applicability of quantum algorithms to speed up Software ...
Using Quantum computers to speed up dynamic testing of software
Software under test can be analyzed dynamically, while it is being executed, to find defects. However, as the number and possible values of input parameters increase, the cost of dynamic testing rises.
This paper examines whether quantum computers (...
Asserting the correctness of Shor implementations using metamorphic testing
Quantum computing is infused with an increased sense of anticipation and excitement. However, several obstacles need to be overcome before quantum computing can be widely adopted. One of these is determining whether or not a quantum program is ...
Index Terms
- Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering