ESEC/FSE 2022 CoLos
30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022)
Powered by
Conference Publishing Consulting

1st International Workshop on Quantum Programming for Software Engineering (QP4SE 2022), November 18, 2022, Singapore, Singapore

QP4SE 2022 – Proceedings

Contents - Abstracts - Authors
Twitter: https://twitter.com/esecfse

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

Frontmatter

Title Page
Welcome from the Chairs

Papers

Automatic Generation of Test Circuits for the Verification of Quantum Deterministic Algorithms
Antonio García de la Barrera Amo ORCID logo, Manuel A. Serrano ORCID logo, Ignacio García Rodríguez de Guzmán ORCID logo, Macario Polo ORCID logo, and Mario Piattini ORCID logo
(University of Castilla-La Mancha, Spain)
Publisher's Version
Towards Quantum-Algorithms-as-a-Service
Manuel De StefanoORCID logo, Dario Di Nucci ORCID logo, Fabio PalombaORCID logo, Davide Taibi ORCID logo, and Andrea De LuciaORCID logo
(University of Salerno, Italy; Tampere University of Technology, Finland)
Publisher's Version
Embracing Iterations in Quantum Software: A Vision
Arif Ali Khan ORCID logo, Mahdi Fahmideh ORCID logo, Aakash Ahmad, Muhammad Waseem ORCID logo, Mahmood Niazi ORCID logo, Valtteri Lahtinen ORCID logo, and Tommi Mikkonen ORCID logo
(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 ORCID logo, Mirko De Vincentiis ORCID logo, Federica Nitti ORCID logo, and Anibrata Pal ORCID logo
(University of Bari, Italy)
Publisher's Version
QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering
Mirko De Vincentiis ORCID logo, Fabio Cassano, Alessandro Pagano, and Antonio Piccinno
(University of Bari, Italy)
Publisher's Version
Quantum Computing for Software Engineering: Prospects
Andriy Miranskyy, Mushahid Khan ORCID logo, Jean Paul Latyr Faye ORCID logo, and Udson C. Mendes ORCID logo
(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 ORCID logo, João Paulo Fernandes ORCID logo, and Rui AbreuORCID logo
(University of Porto, Portugal)
Publisher's Version

proc time: 1.24