QChecker: Detecting Bugs in Quantum Programs via Static Analysis.

Pengzhan Zhao Xiongfei Wu Zhuo Li Jianjun Zhao

Published in: Q-SE@ICSE (2023)

Keyphrases

static analysis
symbolic execution
source code
dynamic analysis
abstract interpretation
regular expressions
malicious code
test generation
open source
test cases
software systems
java card
test suite
test case generation
data model
api calls
database
relational data
database systems
databases