Conference
QChecker: Detecting Bugs in Quantum Programs via Static Analysis
| Title: | QChecker: Detecting Bugs in Quantum Programs via Static Analysis |
|---|---|
| Authors: | Zhao, Pengzhan, Wu, Xiongfei, Li, Zhuo, Zhao, Jianjun |
| Source: | 2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE) Q-SE Quantum Software Engineering (Q-SE), 2023 IEEE/ACM 4th International Workshop on. :50-57 May, 2023 |
| Relation: | 2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q-SE) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9798350301809 |
|---|---|
| DOI: | 10.1109/Q-SE59154.2023.00014 |