{"id":"arxiv/2602.00024","url":"https://arxiv.org/abs/2602.00024","tags":["quant-ph","cs.SE"],"score":0,"title":"QSPE: Enumerating Skeletal Quantum Programs for Quantum Library Testing","domain":"quant-ph","source":"arxiv","authors":["Jiaming Ye","Fuyuan Zhang","Shangzhou Xia","Xiaoyu Guo","Xiongfei Wu","Jianjun Zhao","Yinxing Xue"],"reviews":0,"subject":"quant-ph","summary":"The rapid advancement of quantum computing has led to the development of various quantum libraries, empowering compilation, simulation, and hardware backend interfaces. However, ensuring the correctness of these libraries remains a fundamental challenge due to the lack of mature testing methodologies. The state-of-the-art tools often rely on domain-specific configurations and expert knowledge, which limits their accessibility and scalability in practice. Furthermore, although these tools demonstrate strong performance, they adopt measurement-based for output validation in testing, which…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-01-17","reactions":{}}