QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit-Reference-Cited by-同舟云学术

QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit

Published:2022-07-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Fortunato Daniel¹,Campos José²,Abreu Rui¹

Affiliation:

1. University of Porto, Portugal / INESC-ID, Portugal

2. University of Porto, Portugal / LASIGE, Portugal

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3533767.3543296

Reference24 articles.

1. Moritz Beller Chu-Pan Wong Johannes Bader Andrew Scott Mateusz Machalica Satish Chandra and Erik Meijer. 2021. What It Would Take to Use Mutation Testing in Industry–A Study at Facebook. arxiv:2010.13464. Moritz Beller Chu-Pan Wong Johannes Bader Andrew Scott Mateusz Machalica Satish Chandra and Erik Meijer. 2021. What It Would Take to Use Mutation Testing in Industry–A Study at Facebook. arxiv:2010.13464.

2. Austin Bingham. [n.d.]. Cosmic Ray: mutation testing for Python. https://github.com/sixty-north/cosmic-ray Austin Bingham. [n.d.]. Cosmic Ray: mutation testing for Python. https://github.com/sixty-north/cosmic-ray

3. Mark Fingerhuth Tomáš Babej and Peter Wittek. 2018. Open source software in quantum computing. PLOS ONE. Mark Fingerhuth Tomáš Babej and Peter Wittek. 2018. Open source software in quantum computing. PLOS ONE.

4. Mutation Testing of Quantum Programs Written in QISKit

5. Python Software Foundation. 2021. Python – pass statement. https://docs.python.org/3/tutorial/controlflow.html#pass-statements Accessed: 2021-08-24. Python Software Foundation. 2021. Python – pass statement. https://docs.python.org/3/tutorial/controlflow.html#pass-statements Accessed: 2021-08-24.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The quantum frontier of software engineering: A systematic mapping study;Information and Software Technology;2024-11

2. QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems;ACM Transactions on Software Engineering and Methodology;2024-08-19

3. Test Case Minimization with Quantum Annealers;ACM Transactions on Software Engineering and Methodology;2024-07-27

4. Gate Branch Coverage: A Metric for Quantum Software Testing;Proceedings of the 1st ACM International Workshop on Quantum Software Engineering: The Next Evolution;2024-07-16

5. Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit;Proceedings of the ACM on Software Engineering;2024-07-12