QP4SE 2022 – Proceedings

1st International Workshop on Quantum Programming for Software Engineering (QP4SE 2022)

Frontmatter

Papers

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, and Mario Piattini
(University of Castilla-La Mancha, Spain)

Publisher's Version

Towards Quantum-Algorithms-as-a-Service
Manuel De Stefano, Dario Di Nucci, Fabio Palomba, Davide Taibi, and Andrea De Lucia
(University of Salerno, Italy; Tampere University of Technology, Finland)

Publisher's Version

Embracing Iterations in Quantum Software: A Vision
Arif Ali Khan, Mahdi Fahmideh, Aakash Ahmad, Muhammad Waseem, Mahmood Niazi, Valtteri Lahtinen, and Tommi Mikkonen
(University of Oulu, Finland; University of Southern Queensland, Australia; Lancaster University Leipzig, Germany; Wuhan University, China; King Fahd University of Petroleum and Minerals, Saudi Arabia; Quanscient, Finland; University of Jyväskylä, Finland)

Publisher's Version

Quantum Optimization for Fast CAN Bus Intrusion Detection
Danilo Caivano, Mirko De Vincentiis, Federica Nitti, and Anibrata Pal
(University of Bari, Italy)

Publisher's Version

QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering
Mirko De Vincentiis, Fabio Cassano, Alessandro Pagano, and Antonio Piccinno
(University of Bari, Italy)

Publisher's Version

Quantum Computing for Software Engineering: Prospects
Andriy Miranskyy, Mushahid Khan, Jean Paul Latyr Faye, and Udson C. Mendes
(Ryerson University, Canada; CMC Microsystems, Canada)

Publisher's Version

Using Quantum Computers to Speed Up Dynamic Testing of Software
Andriy Miranskyy
(Ryerson University, Canada)

Publisher's Version

Asserting the Correctness of Shor Implementations using Metamorphic Testing
Nuno Costa, João Paulo Fernandes, and Rui Abreu
(University of Porto, Portugal)

Publisher's Version

proc time: 1.39