ICST 2026
Mon 18 - Fri 22 May 2026 Daejeon, South Korea
Mon 18 May 2026 14:00 - 14:30 at Room 106 - Mutation - Session 3

Quantum software testing has attracted interest in recent years, prompting the development of various techniques to automate the testing of quantum software. These techniques generate test cases that must be assessed for their effectiveness in detecting faults. Such an assessment requires benchmarks of faulty programs. However, there is a lack of benchmarks containing faults. In this data showcase, we propose QMutBench, a dataset that contains over 700,000 quantum circuit mutants representing different faults. The dataset is accessible via an online interface with selection criteria, such as the original quantum circuit(s) from which mutants are generated, the desired survival rate of the selected mutants, and other mutation characteristics (e.g., the type of faulty quantum gate). QMutBench provides quantum software developers and testers with an accessible online dataset to obtain benchmarks of mutants necessary to assess either the quality of the test cases generated by their testing technique or to compare different testing techniques. It also enables the development of new mutation-guided quantum software testing techniques.

Mon 18 May

Displayed time zone: Seoul change

14:00 - 15:30
Mutation - Session 3Mutation at Room 106
14:00
30m
Talk
QMutBench: A Dataset of Quantum Circuit Mutants
Mutation
Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University
14:30
30m
Paper
Black-Box Test Generation from State Machine Specifications via Mutation and Model Checking
Mutation
Futa Oda Graduate School of Information Science and Technology, Osaka University, Tatsuhiro Tsuchiya Osaka University
15:00
30m
Paper
HOP: MediumDarwin - LittleDarwin Grows with Performance and Research-oriented Extensions
Mutation
Sajjad Hesamipour Khelejan , Thomas Laurent Lero@Trinity College Dublin, Anthony Ventresque School of Computer Science and Statistics, Trinity College Dublin & Research Ireland Lero