Can I read Concolic Testing of Quantum Programs on EtoBox?

Concolic Testing of Quantum Programs by Xia, Shangzhou; Zhao, Jianjun; Zhang, Fuyuan; Guo, Xiaoyu is a scholarly article available to read on EtoBox.

What is Concolic Testing of Quantum Programs about?

This paper presents the first concolic testing framework specifically designed for quantum programs. The framework defines quantum conditional statements that quantify quantum states and presents a symbolization method for quantum variables. Utilizing this framework, we generate path constraints for each concrete execution path of a quantum program. These constraints guide the exploration of new paths, with a quantum constraint solver determining the outcomes to generate novel input samples and enhance branch coverage. We implemented this framework in Python and integrated it with Qiskit for practical evaluation. Experimental results demonstrate that our concolic testing framework significantly improves branch coverage and the quality of quantum input samples, demonstrating its effectiveness and efficiency in quantum software testing.

Author

Xia, Shangzhou; Zhao, Jianjun; Zhang, Fuyuan; Guo, Xiaoyu

Published

2024

Language

EN