There is an inherent lack of knowledge and technology to test a quantum program properly. In this paper, building on the definition of syntactically equivalent quantum operations, we investigated a novel set of mutation operators to generate mutants based on qubit measurements and quantum gates. To ease the adoption of quantum mutation testing, we further discuss QMutPy, an extension of the well-known and fully automated open-source mutation tool MutPy. To evaluate QMutPy’s performance we conducted a case study on 11 real quantum programs written in the IBM’s QISKit library. QMutPy has proven to be an effective quantum mutation tool, providing insight on the current state of quantum tests.
Thu 12 MayDisplayed time zone: Eastern Time (US & Canada) change
Thu 12 May
Displayed time zone: Eastern Time (US & Canada) change
11:00 - 12:00 | |||
11:00 5mPoster | Enabling End-Users to Implement Larger Block-Based Programs Posters Nico Ritschel The University of British Columbia, Felipe Fronchetti Virginia Commonwealth University, Reid Holmes University of British Columbia, Ronald Garcia University of British Columbia, David C. Shepherd Virginia Commonwealth University | ||
11:05 5mPoster | Mutation Testing of Quantum Programs written in QISKit Posters Daniel Fortunato INESC-ID, University of Porto, José Campos University of Lisbon, Portugal, Rui Abreu Faculty of Engineering, University of Porto, Portugal | ||
11:10 5mPoster | Poster: Comprehensive Comparisons of Embedding Approaches for Cryptographic API Completion Posters Ya Xiao Virginia Tech, Salman Ahmed Virginia Polytechnic Institute and State University, Xinyang Ge Microsoft Research, Bimal Viswanath Virginia Tech, Na Meng Virginia Tech, Daphne Yao Virginia Tech | ||
11:15 5mPoster | Improving Responsiveness of Android Activity Navigation via Genetic Improvement Posters | ||
11:20 5mPoster | A Quick Repair Facility for Debugging Posters | ||
11:25 5mPoster | Flexible Model-Driven Runtime Monitoring Support for Cyber-Physical Systems Posters Marco Stadler Johannes Kepler University Linz, Michael Vierhauser Johannes Kepler University Linz, Antonio Garmendia Johannes Kepler University Linz, Manuel Wimmer JKU Linz, Jane Cleland-Huang University of Notre Dame Pre-print |
Information for Participants
Thu 12 May 2022 11:00 - 12:00 at ICSE Poster room - Poster Session 3 Chair(s): Jin L.C. Guo
Info for room ICSE Poster room: