Concolic Testing of Quantum Programs.

Shangzhou Xia Jianjun Zhao Fuyuan Zhang Xiaoyu Guo

Published in: CoRR (2024)

Keyphrases

symbolic execution
test cases
computer programs
intermediate level
image sequences
concurrent programs
database
data sets
artificial intelligence
static analysis
control program
quantum computing
quantum inspired
set of test cases
quantum computation