Shangzhou Xia

17 papers A* 4B 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2026 B conf
QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs.
FASE
Junjie Luo, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao
2026 J jnl
QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs.
CoRR
Junjie Luo, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao
2026 J jnl
QSPE: Enumerating Skeletal Quantum Programs for Quantum Library Testing.
CoRR
Jiaming Ye, Fuyuan Zhang, Shangzhou Xia, Xiaoyu Guo, Xiongfei Wu, Jianjun Zhao, Yinxing Xue
2026 J jnl
QSolver: A Quantum Constraint Solver.
CoRR
Shangzhou Xia, Haitao Fu, Jianjun Zhao
2025 A* conf
Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing.
ASE
Jiaming Ye, Xiongfei Wu, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao
2025 J jnl
Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing.
CoRR
Jiaming Ye, Xiongfei Wu, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao
2025 A* conf
NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation.
ASE
Tiancheng Jin, Shangzhou Xia, Jianjun Zhao
2025 J jnl
NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation.
CoRR
Tiancheng Jin, Shangzhou Xia, Jianjun Zhao
2025 J jnl
Quantum Concolic Testing.
Proc. ACM Softw. Eng.
Shangzhou Xia, Jianjun Zhao, Fuyuan Zhang, Xiaoyu Guo
2024 J jnl
Concolic Testing of Quantum Programs.
CoRR
Shangzhou Xia, Jianjun Zhao, Fuyuan Zhang, Xiaoyu Guo
2024 J jnl
Evaluating Model Performance Under Worst-case Subpopulations.
CoRR
Mike Li, Hongseok Namkoong, Shangzhou Xia
2023 A* conf
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing.
ASE
Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa
2023 — conf
Static Entanglement Analysis of Quantum Programs.
Q-SE@ICSE
Shangzhou Xia, Jianjun Zhao
2023 J jnl
Static Entanglement Analysis of Quantum Programs.
CoRR
Shangzhou Xia, Jianjun Zhao
2022 J jnl
Uniformly Bounded Regret in Dynamic Fair Allocation.
CoRR
Santiago R. Balseiro, Shangzhou Xia
2021 A* conf
Evaluating model performance under worst-case subpopulations.
NeurIPS
Mike Li, Hongseok Namkoong, Shangzhou Xia
2016 — conf
Analysis of LTE traffic offloading based on big data.
ISCIT
Ling Li, Wenjun Hou, Huan Zhang, Saibin Yao, Shangzhou Xia, Xiaolong Ji