@misc{16821,
  author = {Xinyi Wang and Tongxuan Yu and Paolo Arcaini and Tao Yue and Shaukat Ali},
  title = {Mutation-Based Test Generation for Quantum Programs with Multi-Objective Search},
  abstract = {Mutation testing is often used for designing new tests, and involves changing a program in minor ways, which results in mutated versions of the program, i.e., mutants. An effective test suite should find faults (or kill mutants) with a minimum number of test cases, to save resources required for executing test cases. In this paper, in the context of mutation testing for quantum programs, we present a multi-objective and search-based approach (MutTG) to generate the minimum number of test cases killing as many mutants as possible. MutTG tries to estimate the likelihood that a mutant is equivalent, and uses this as a discount factor in the fitness definition to avoid keeping on trying to kill mutants that cannot be killed. We employed NSGA-II as the multi-objective search algorithm. Then, we compared MutTG with another version of the approach that does not use the discount factor in its fitness definition, and with random search (RS), over a set of open-source quantum programs and their mutants of varying complexity. Results show that the discount factor does indeed help in guiding the test generation, as the approach with the discount factor performs better than the one without it.},
  year = {2022},
  journal = {GECCO {\textquoteright}22: Proceedings of the Genetic and Evolutionary Computation Conference},
  pages = {1345-1353},
  publisher = {ACM},
  url = {https://dl.acm.org/doi/abs/10.1145/3512290.3528869},
  doi = {10.1145/3512290.3528869},
}