QChecker: Detecting Bugs in Quantum Programs via Static Analysis.

Pengzhan Zhao Xiongfei Wu Zhuo Li Jianjun Zhao

Published in: CoRR (2023)

Keyphrases

static analysis
symbolic execution
source code
dynamic analysis
abstract interpretation
regular expressions
test generation
java card
malicious code
databases
quantum computation
test suite
database
data sets
data sources