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
Article: fsews22qpseforeword-fm000-p doi:
Welcome from the Chairs
Article: fsews22qpseforeword-fm001-p doi:

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 Article: fsews22qpsemain-id438-p doi:10.1145/3549036.3562055
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 Article: fsews22qpsemain-id5704-p doi:10.1145/3549036.3562056
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 Article: fsews22qpsemain-id5721-p doi:10.1145/3549036.3562057
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 Article: fsews22qpsemain-id7928-p doi:10.1145/3549036.3562058
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 Article: fsews22qpsemain-id5345-p doi:10.1145/3549036.3562059
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 Article: fsews22qpsemain-id1957-p doi:10.1145/3549036.3562060
Using Quantum Computers to Speed Up Dynamic Testing of Software
Andriy Miranskyy
(Ryerson University, Canada)
Publisher's Version Article: fsews22qpsemain-id2888-p doi:10.1145/3549036.3562061
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 Article: fsews22qpsemain-id8112-p doi:10.1145/3549036.3562062

proc time: 0.01