Shangzhou Xia

According to our database, Shangzhou Xia authored at least 13 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

QuanForge: A Mutation Testing Framework for Quantum Neural Networks.

Minqi Shao, Shangzhou Xia, Jianjun Zhao

CoRR, April, 2026

QSolver: A Quantum Constraint Solver.

Shangzhou Xia, Haitao Fu, Jianjun Zhao

CoRR, February, 2026

QSPE: Enumerating Skeletal Quantum Programs for Quantum Library Testing.

Jiaming Ye, Fuyuan Zhang, Shangzhou Xia, Xiaoyu Guo, Xiongfei Wu, Jianjun Zhao, Yinxing Xue

CoRR, February, 2026

QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs.

Junjie Luo, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao

Proceedings of the Fundamental Approaches to Software Engineering, 2026

2025

Quantum Concolic Testing.

Shangzhou Xia, Jianjun Zhao, Fuyuan Zhang, Xiaoyu Guo

Proc. ACM Softw. Eng., 2025

Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing.

Jiaming Ye, Xiongfei Wu, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation.

Tiancheng Jin, Shangzhou Xia, Jianjun Zhao

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2024

Concolic Testing of Quantum Programs.

Shangzhou Xia, Jianjun Zhao, Fuyuan Zhang, Xiaoyu Guo

CoRR, 2024

2023

QuraTest: Integrating Quantum Specific Features in Quantum Program Testing.

Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Static Entanglement Analysis of Quantum Programs.

Shangzhou Xia, Jianjun Zhao

Proceedings of the 4th IEEE/ACM International Workshop on Quantum Software Engineering, 2023

2022

Uniformly Bounded Regret in Dynamic Fair Allocation.

Santiago R. Balseiro, Shangzhou Xia

CoRR, 2022

2021

Evaluating model performance under worst-case subpopulations.

Mike Li, Hongseok Namkoong, Shangzhou Xia

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

2016

Analysis of LTE traffic offloading based on big data.

Ling Li, Wenjun Hou, Huan Zhang, Saibin Yao, Shangzhou Xia, Xiaolong Ji

Proceedings of the 16th International Symposium on Communications and Information Technologies, 2016