Login / Signup
Pengzhan Zhao
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Test Generation
Static Analysis
Databases
Malicious Code
Top Venues
CoRR
</>
Publications
</>
Pengzhan Zhao
,
Xiongfei Wu
,
Zhuo Li
,
Jianjun Zhao
QChecker: Detecting Bugs in Quantum Programs via Static Analysis.
CoRR
(2023)