Search-Based Generation of Undetected Quantum Circuit Mutants
This work addresses the limitations of existing quantum mutation analysis tools, which rely on fixed gate-level mutations that produce easily detectable mutants and thus inadequately evaluate test suite quality. To overcome this, the authors propose QUMUG, a novel approach that integrates search-based optimization with parameterized quantum gates. By employing a genetic algorithm to automatically tune gate parameters, QUMUG generates challenging, non-equivalent quantum circuit mutants capable of evading detection by current test suites. Experimental results across 30 quantum programs demonstrate that QUMUG’s mutants are, on average, three times harder to detect than those from existing tools, yielding 494 undetected mutants per program with a success rate of 99.67% and a non-equivalence ratio of 94.3%. Furthermore, these mutants prompted a fivefold expansion of test suites, substantially enhancing the effectiveness of quantum program testing.