QP4SE '22: "Asserting the Correctness ..."
Asserting the Correctness of Shor Implementations using Metamorphic Testing
Nuno Costa, João Paulo Fernandes, and Rui Abreu
(University of Porto, Portugal)
@InProceedings{QP4SE22p43,
author = {Nuno Costa and João Paulo Fernandes and Rui Abreu},
title = {Asserting the Correctness of Shor Implementations using Metamorphic Testing},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3549036.3562062},
year = {2022},
}
Publisher's Version
QP4SE '22: "Embracing Iterations in Quantum ..."
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)
@InProceedings{QP4SE22p13,
author = {Arif Ali Khan and Mahdi Fahmideh and Aakash Ahmad and Muhammad Waseem and Mahmood Niazi and Valtteri Lahtinen and Tommi Mikkonen},
title = {Embracing Iterations in Quantum Software: A Vision},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3549036.3562057},
year = {2022},
}
Publisher's Version
QP4SE '22: "Quantum Optimization for Fast ..."
Quantum Optimization for Fast CAN Bus Intrusion Detection
Danilo Caivano, Mirko De Vincentiis, Federica Nitti, and Anibrata Pal
(University of Bari, Italy)
@InProceedings{QP4SE22p19,
author = {Danilo Caivano and Mirko De Vincentiis and Federica Nitti and Anibrata Pal},
title = {Quantum Optimization for Fast CAN Bus Intrusion Detection},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3549036.3562058},
year = {2022},
}
Publisher's Version
QP4SE '22: "QAI4ASE: Quantum Artificial ..."
QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering
Mirko De Vincentiis, Fabio Cassano, Alessandro Pagano, and Antonio Piccinno
(University of Bari, Italy)
@InProceedings{QP4SE22p25,
author = {Mirko De Vincentiis and Fabio Cassano and Alessandro Pagano and Antonio Piccinno},
title = {QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3549036.3562059},
year = {2022},
}
Publisher's Version
QP4SE '22: "Asserting the Correctness ..."
Asserting the Correctness of Shor Implementations using Metamorphic Testing
Nuno Costa, João Paulo Fernandes, and Rui Abreu
(University of Porto, Portugal)
@InProceedings{QP4SE22p43,
author = {Nuno Costa and João Paulo Fernandes and Rui Abreu},
title = {Asserting the Correctness of Shor Implementations using Metamorphic Testing},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3549036.3562062},
year = {2022},
}
Publisher's Version
QP4SE '22: "Towards Quantum-Algorithms-as-a-Service ..."
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)
@InProceedings{QP4SE22p7,
author = {Manuel De Stefano and Dario Di Nucci and Fabio Palomba and Davide Taibi and Andrea De Lucia},
title = {Towards Quantum-Algorithms-as-a-Service},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3549036.3562056},
year = {2022},
}
Publisher's Version
QP4SE '22: "Towards Quantum-Algorithms-as-a-Service ..."
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)
@InProceedings{QP4SE22p7,
author = {Manuel De Stefano and Dario Di Nucci and Fabio Palomba and Davide Taibi and Andrea De Lucia},
title = {Towards Quantum-Algorithms-as-a-Service},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3549036.3562056},
year = {2022},
}
Publisher's Version
QP4SE '22: "Quantum Optimization for Fast ..."
Quantum Optimization for Fast CAN Bus Intrusion Detection
Danilo Caivano, Mirko De Vincentiis, Federica Nitti, and Anibrata Pal
(University of Bari, Italy)
@InProceedings{QP4SE22p19,
author = {Danilo Caivano and Mirko De Vincentiis and Federica Nitti and Anibrata Pal},
title = {Quantum Optimization for Fast CAN Bus Intrusion Detection},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3549036.3562058},
year = {2022},
}
Publisher's Version
QP4SE '22: "QAI4ASE: Quantum Artificial ..."
QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering
Mirko De Vincentiis, Fabio Cassano, Alessandro Pagano, and Antonio Piccinno
(University of Bari, Italy)
@InProceedings{QP4SE22p25,
author = {Mirko De Vincentiis and Fabio Cassano and Alessandro Pagano and Antonio Piccinno},
title = {QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3549036.3562059},
year = {2022},
}
Publisher's Version
QP4SE '22: "Towards Quantum-Algorithms-as-a-Service ..."
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)
@InProceedings{QP4SE22p7,
author = {Manuel De Stefano and Dario Di Nucci and Fabio Palomba and Davide Taibi and Andrea De Lucia},
title = {Towards Quantum-Algorithms-as-a-Service},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3549036.3562056},
year = {2022},
}
Publisher's Version
QP4SE '22: "Embracing Iterations in Quantum ..."
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)
@InProceedings{QP4SE22p13,
author = {Arif Ali Khan and Mahdi Fahmideh and Aakash Ahmad and Muhammad Waseem and Mahmood Niazi and Valtteri Lahtinen and Tommi Mikkonen},
title = {Embracing Iterations in Quantum Software: A Vision},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3549036.3562057},
year = {2022},
}
Publisher's Version
QP4SE '22: "Quantum Computing for Software ..."
Quantum Computing for Software Engineering: Prospects
Andriy Miranskyy, Mushahid Khan, Jean Paul Latyr Faye, and Udson C. Mendes
(Ryerson University, Canada; CMC Microsystems, Canada)
@InProceedings{QP4SE22p31,
author = {Andriy Miranskyy and Mushahid Khan and Jean Paul Latyr Faye and Udson C. Mendes},
title = {Quantum Computing for Software Engineering: Prospects},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3549036.3562060},
year = {2022},
}
Publisher's Version
QP4SE '22: "Asserting the Correctness ..."
Asserting the Correctness of Shor Implementations using Metamorphic Testing
Nuno Costa, João Paulo Fernandes, and Rui Abreu
(University of Porto, Portugal)
@InProceedings{QP4SE22p43,
author = {Nuno Costa and João Paulo Fernandes and Rui Abreu},
title = {Asserting the Correctness of Shor Implementations using Metamorphic Testing},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3549036.3562062},
year = {2022},
}
Publisher's Version
QP4SE '22: "Automatic Generation of Test ..."
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)
@InProceedings{QP4SE22p1,
author = {Antonio García de la Barrera Amo and Manuel A. Serrano and Ignacio García Rodríguez de Guzmán and Macario Polo and Mario Piattini},
title = {Automatic Generation of Test Circuits for the Verification of Quantum Deterministic Algorithms},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3549036.3562055},
year = {2022},
}
Publisher's Version
QP4SE '22: "Automatic Generation of Test ..."
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)
@InProceedings{QP4SE22p1,
author = {Antonio García de la Barrera Amo and Manuel A. Serrano and Ignacio García Rodríguez de Guzmán and Macario Polo and Mario Piattini},
title = {Automatic Generation of Test Circuits for the Verification of Quantum Deterministic Algorithms},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3549036.3562055},
year = {2022},
}
Publisher's Version
QP4SE '22: "Embracing Iterations in Quantum ..."
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)
@InProceedings{QP4SE22p13,
author = {Arif Ali Khan and Mahdi Fahmideh and Aakash Ahmad and Muhammad Waseem and Mahmood Niazi and Valtteri Lahtinen and Tommi Mikkonen},
title = {Embracing Iterations in Quantum Software: A Vision},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3549036.3562057},
year = {2022},
}
Publisher's Version
QP4SE '22: "Quantum Computing for Software ..."
Quantum Computing for Software Engineering: Prospects
Andriy Miranskyy, Mushahid Khan, Jean Paul Latyr Faye, and Udson C. Mendes
(Ryerson University, Canada; CMC Microsystems, Canada)
@InProceedings{QP4SE22p31,
author = {Andriy Miranskyy and Mushahid Khan and Jean Paul Latyr Faye and Udson C. Mendes},
title = {Quantum Computing for Software Engineering: Prospects},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3549036.3562060},
year = {2022},
}
Publisher's Version
QP4SE '22: "Embracing Iterations in Quantum ..."
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)
@InProceedings{QP4SE22p13,
author = {Arif Ali Khan and Mahdi Fahmideh and Aakash Ahmad and Muhammad Waseem and Mahmood Niazi and Valtteri Lahtinen and Tommi Mikkonen},
title = {Embracing Iterations in Quantum Software: A Vision},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3549036.3562057},
year = {2022},
}
Publisher's Version
QP4SE '22: "Quantum Computing for Software ..."
Quantum Computing for Software Engineering: Prospects
Andriy Miranskyy, Mushahid Khan, Jean Paul Latyr Faye, and Udson C. Mendes
(Ryerson University, Canada; CMC Microsystems, Canada)
@InProceedings{QP4SE22p31,
author = {Andriy Miranskyy and Mushahid Khan and Jean Paul Latyr Faye and Udson C. Mendes},
title = {Quantum Computing for Software Engineering: Prospects},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3549036.3562060},
year = {2022},
}
Publisher's Version
QP4SE '22: "Embracing Iterations in Quantum ..."
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)
@InProceedings{QP4SE22p13,
author = {Arif Ali Khan and Mahdi Fahmideh and Aakash Ahmad and Muhammad Waseem and Mahmood Niazi and Valtteri Lahtinen and Tommi Mikkonen},
title = {Embracing Iterations in Quantum Software: A Vision},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3549036.3562057},
year = {2022},
}
Publisher's Version
QP4SE '22: "Quantum Computing for Software ..."
Quantum Computing for Software Engineering: Prospects
Andriy Miranskyy, Mushahid Khan, Jean Paul Latyr Faye, and Udson C. Mendes
(Ryerson University, Canada; CMC Microsystems, Canada)
@InProceedings{QP4SE22p31,
author = {Andriy Miranskyy and Mushahid Khan and Jean Paul Latyr Faye and Udson C. Mendes},
title = {Quantum Computing for Software Engineering: Prospects},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3549036.3562060},
year = {2022},
}
Publisher's Version
QP4SE '22: "Using Quantum Computers to ..."
Using Quantum Computers to Speed Up Dynamic Testing of Software
Andriy Miranskyy
(Ryerson University, Canada)
@InProceedings{QP4SE22p37,
author = {Andriy Miranskyy},
title = {Using Quantum Computers to Speed Up Dynamic Testing of Software},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3549036.3562061},
year = {2022},
}
Publisher's Version
QP4SE '22: "Embracing Iterations in Quantum ..."
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)
@InProceedings{QP4SE22p13,
author = {Arif Ali Khan and Mahdi Fahmideh and Aakash Ahmad and Muhammad Waseem and Mahmood Niazi and Valtteri Lahtinen and Tommi Mikkonen},
title = {Embracing Iterations in Quantum Software: A Vision},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3549036.3562057},
year = {2022},
}
Publisher's Version
QP4SE '22: "Quantum Optimization for Fast ..."
Quantum Optimization for Fast CAN Bus Intrusion Detection
Danilo Caivano, Mirko De Vincentiis, Federica Nitti, and Anibrata Pal
(University of Bari, Italy)
@InProceedings{QP4SE22p19,
author = {Danilo Caivano and Mirko De Vincentiis and Federica Nitti and Anibrata Pal},
title = {Quantum Optimization for Fast CAN Bus Intrusion Detection},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3549036.3562058},
year = {2022},
}
Publisher's Version
QP4SE '22: "QAI4ASE: Quantum Artificial ..."
QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering
Mirko De Vincentiis, Fabio Cassano, Alessandro Pagano, and Antonio Piccinno
(University of Bari, Italy)
@InProceedings{QP4SE22p25,
author = {Mirko De Vincentiis and Fabio Cassano and Alessandro Pagano and Antonio Piccinno},
title = {QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3549036.3562059},
year = {2022},
}
Publisher's Version
QP4SE '22: "Quantum Optimization for Fast ..."
Quantum Optimization for Fast CAN Bus Intrusion Detection
Danilo Caivano, Mirko De Vincentiis, Federica Nitti, and Anibrata Pal
(University of Bari, Italy)
@InProceedings{QP4SE22p19,
author = {Danilo Caivano and Mirko De Vincentiis and Federica Nitti and Anibrata Pal},
title = {Quantum Optimization for Fast CAN Bus Intrusion Detection},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3549036.3562058},
year = {2022},
}
Publisher's Version
QP4SE '22: "Towards Quantum-Algorithms-as-a-Service ..."
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)
@InProceedings{QP4SE22p7,
author = {Manuel De Stefano and Dario Di Nucci and Fabio Palomba and Davide Taibi and Andrea De Lucia},
title = {Towards Quantum-Algorithms-as-a-Service},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3549036.3562056},
year = {2022},
}
Publisher's Version
QP4SE '22: "Automatic Generation of Test ..."
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)
@InProceedings{QP4SE22p1,
author = {Antonio García de la Barrera Amo and Manuel A. Serrano and Ignacio García Rodríguez de Guzmán and Macario Polo and Mario Piattini},
title = {Automatic Generation of Test Circuits for the Verification of Quantum Deterministic Algorithms},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3549036.3562055},
year = {2022},
}
Publisher's Version
QP4SE '22: "QAI4ASE: Quantum Artificial ..."
QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering
Mirko De Vincentiis, Fabio Cassano, Alessandro Pagano, and Antonio Piccinno
(University of Bari, Italy)
@InProceedings{QP4SE22p25,
author = {Mirko De Vincentiis and Fabio Cassano and Alessandro Pagano and Antonio Piccinno},
title = {QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3549036.3562059},
year = {2022},
}
Publisher's Version
QP4SE '22: "Automatic Generation of Test ..."
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)
@InProceedings{QP4SE22p1,
author = {Antonio García de la Barrera Amo and Manuel A. Serrano and Ignacio García Rodríguez de Guzmán and Macario Polo and Mario Piattini},
title = {Automatic Generation of Test Circuits for the Verification of Quantum Deterministic Algorithms},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3549036.3562055},
year = {2022},
}
Publisher's Version
QP4SE '22: "Automatic Generation of Test ..."
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)
@InProceedings{QP4SE22p1,
author = {Antonio García de la Barrera Amo and Manuel A. Serrano and Ignacio García Rodríguez de Guzmán and Macario Polo and Mario Piattini},
title = {Automatic Generation of Test Circuits for the Verification of Quantum Deterministic Algorithms},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3549036.3562055},
year = {2022},
}
Publisher's Version
QP4SE '22: "Towards Quantum-Algorithms-as-a-Service ..."
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)
@InProceedings{QP4SE22p7,
author = {Manuel De Stefano and Dario Di Nucci and Fabio Palomba and Davide Taibi and Andrea De Lucia},
title = {Towards Quantum-Algorithms-as-a-Service},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3549036.3562056},
year = {2022},
}
Publisher's Version
QP4SE '22: "Embracing Iterations in Quantum ..."
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)
@InProceedings{QP4SE22p13,
author = {Arif Ali Khan and Mahdi Fahmideh and Aakash Ahmad and Muhammad Waseem and Mahmood Niazi and Valtteri Lahtinen and Tommi Mikkonen},
title = {Embracing Iterations in Quantum Software: A Vision},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3549036.3562057},
year = {2022},
}
Publisher's Version