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 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Taxonomic View of the Fundamental Concepts of Quantum Computing–A Software Engineering Perspective;Programming and Computer Software;2023-12

2. QuCAT: A Combinatorial Testing Tool for Quantum Software;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

3. QuraTest: Integrating Quantum Specific Features in Quantum Program Testing;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

4. Towards Quantum Requirements Engineering;2023 IEEE 31st International Requirements Engineering Conference Workshops (REW);2023-09

5. Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05