ASE 2021 (series) / Tool Demonstrations /
Muskit: A Mutation Analysis Tool for Quantum Software Testing
Thu 18 Nov 2021 19:50 - 19:55 at Koala - Bugs II Chair(s): Annibale Panichella
Thu 18 Nov 2021 20:00 - 20:02 at Kangaroo - Tool Demo (3) Chair(s): Mohamed Abdelrazek
Thu 18 Nov 2021 20:00 - 20:02 at Kangaroo - Tool Demo (3) Chair(s): Mohamed Abdelrazek
Given that quantum software testing is a new area of research, there is a lack of benchmark programs and bug 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 the generation of results for test analyses. Muskit is provided as a command-line interface, GUI, and web application. We validated Muskit by using it to generate and execute mutants for four QPs
Thu 18 NovDisplayed time zone: Hobart change
Thu 18 Nov
Displayed time zone: Hobart change
19:00 - 20:00 | Bugs IIResearch Papers / NIER track / Tool Demonstrations at Koala Chair(s): Annibale Panichella Delft University of Technology | ||
19:00 20mTalk | Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers Research Papers Xutong Ma State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China, Jiwei Yan Institute of Software at Chinese Academy of Sciences, China, Wei Wang State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China, Jun Yan Institute of Software at Chinese Academy of Sciences, China, Jian Zhang Institute of Software at Chinese Academy of Sciences, China, Zongyan Qiu Peking University | ||
19:20 20mTalk | Understanding and Detecting Performance Bugs in Markdown Compilers Research Papers Penghui Li The Chinese University of Hong Kong, Yinxi Liu The Chinese University of Hong Kong, Wei Meng Chinese University of Hong Kong Pre-print | ||
19:40 10mTalk | Bugs4Q: A Benchmark of Real Bugs for Quantum Programs NIER track Pengzhan Zhao Kyushu University, Jianjun Zhao Kyushu University, Zhongtao Miao Kyushu University, Shuhan Lan Kyushu University | ||
19:50 5mTalk | Muskit: A Mutation Analysis Tool for Quantum Software Testing Tool Demonstrations Eñaut Mendiluze Simula Research Laboratory, Norway, Shaukat Ali Simula Research Laboratory, Norway, Paolo Arcaini National Institute of Informatics
, Tao Yue Nanjing University of Aeronautics and Astronautics | ||
19:55 5mTalk | JTDog: a Gradle Plugin for Dynamic Test Smell Detection Tool Demonstrations Masayuki Taniguchi Osaka University, Shinsuke Matsumoto Osaka University, Shinji Kusumoto Osaka University | ||
20:00 - 21:00 | Tool Demo (3)Tool Demonstrations at Kangaroo Chair(s): Mohamed Abdelrazek Deakin University, Australia | ||
20:00 2mTalk | Muskit: A Mutation Analysis Tool for Quantum Software Testing Tool Demonstrations Eñaut Mendiluze Simula Research Laboratory, Norway, Shaukat Ali Simula Research Laboratory, Norway, Paolo Arcaini National Institute of Informatics
, Tao Yue Nanjing University of Aeronautics and Astronautics | ||
20:02 2mTalk | IncBL: Incremental Bug Localization Tool Demonstrations Zhou Yang Singapore Management University, Jieke Shi Singapore Management University, Shaowei Wang University of Manitoba, David Lo Singapore Management University | ||
20:04 2mTalk | FixMe: A GitHub Bot for Detecting and Monitoring On-hold Self-Admitted Technical Debt Tool Demonstrations Saranphon Phaithoon Mahidol University, Supakarn Wongnil Mahidol University, Patiphol Pussawong Mahidol University, Morakot Choetkiertikul Mahidol University, Thailand, Chaiyong Rakhitwetsagul Mahidol University, Thailand, Thanwadee Sunetnanta Mahidol University, Rungroj Maipradit Nara Institute of Science and Technology, Hideaki Hata Shinshu University, Kenichi Matsumoto Nara Institute of Science and Technology Link to publication DOI Pre-print Media Attached | ||
20:06 2mTalk | Quito: a Coverage-Guided Test Generator for Quantum Programs Tool Demonstrations Xinyi Wang Nanjing University of Aeronautics and Astronautics, Nanjing, China, Paolo Arcaini National Institute of Informatics
, Tao Yue Nanjing University of Aeronautics and Astronautics, Shaukat Ali Simula Research Laboratory, Norway | ||
20:08 2mTalk | Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions Tool Demonstrations Yusuke Kimura Fujitsu Ltd., Takumi Akazaki Fujitsu Limited, Shinji Kikuchi Fujitsu Laboratories Ltd., Sonal Mahajan Fujitsu Research of America, Inc., Mukul Prasad Fujitsu Research of America | ||
20:10 2mTalk | JTDog: a Gradle Plugin for Dynamic Test Smell Detection Tool Demonstrations Masayuki Taniguchi Osaka University, Shinsuke Matsumoto Osaka University, Shinji Kusumoto Osaka University | ||