Pengzhan Zhao, Xiongfei Wu, Zhuo Li, Jianjun Zhao 0001. QChecker: Detecting Bugs in Quantum Programs via Static Analysis. In 4th IEEE/ACM International Workshop on Quantum Software Engineering, Q-SE@ICSE 2023, Melbourne, Australia, May 17, 2023. pages 50-57, IEEE, 2023. [doi]
Abstract is missing.