@inproceedings{1e590e7b6e024c43b9f69d073b6323f5,
title = "Muskit: A Mutation Analysis Tool for Quantum Software Testing",
abstract = "Given that quantum software testing is a new area of research, there is a lack of benchmark programs and bugs repositories to assess the effectiveness of testing techniques. To this end, quantum mutation analysis focuses on systematically generating faulty versions of Quantum Programs (QPs), called mutants, using mutation operators. Such mutants can be used as benchmarks to assess the quality of test cases in a test suite. Thus, we present Muskit - a quantum mutation analysis tool for QPs coded in IBM's Qiskit language. Muskit defines mutation operators on gates of QPs and selection criteria to reduce the number of mutants to generate. Moreover, it allows for the execution of test cases on mutants and generation of results for test analyses. Muskit is provided as command line interface, GUI, and web application. We validated Muskit by using it to generate and execute mutants for four QPs. Muskit code: https://github.com/Simula-COMPLEX/muskitWeb app: https://qiskitmutantcreatorsrl.pythonanywhere.com/YouTube Video: EbPHJOK\_AEA Artifact Available: https://doi.org/10.5281/zenodo.5288917",
keywords = "Mutation analysis, Quantum circuits, Quantum programs, Software testing",
author = "Enaut Mendiluze and Shaukat Ali and Paolo Arcaini and Tao Yue",
note = "Publisher Copyright: {\textcopyright} 2021 IEEE.; 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021 ; Conference date: 15-11-2021 Through 19-11-2021",
year = "2021",
doi = "10.1109/ASE51524.2021.9678563",
language = "英语",
series = "Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "1266--1270",
booktitle = "Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021",
address = "美国",
}