Quantum Program Testing Through Commuting Pauli Strings on IBM’s Quantum Computers

Authors: Muqeet, Asmar, Ali, Shaukat, Arcaini, Paolo

Source: 2024 39th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2024 39th IEEE/ACM International Conference on. :2130-2141 Oct, 2024

Relation: 2024 39th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing

Authors: Ye, Jiaming, WU, Xiongfei, Xia, Shangzhou, Zhang, Fuyuan, Zhao, Jianjun

Source: Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025) (2025); 40th IEEE/ACM International Conference on Automated Software Engineering, Seoul, South Korea [KR], 16-20 November 2025

Subject Terms: Sciences informatiques, Software Engineering (cs.SE), FOS: Computer and information sciences, Software Engineering, Computer science, Engineering, computing & technology, Ingénierie, informatique & technologie

Access URL: http://arxiv.org/abs/2509.16595
https://orbilu.uni.lu/handle/10993/66677
https://orbilu.uni.lu/bitstream/10993/66677/1/_573300d823.pdf

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

Authors: Tiancheng Jin, Shangzhou Xia, Jianjun Zhao 0001

Source: 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE). :3881-3885

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Software Engineering

Access URL: http://arxiv.org/abs/2509.04763

QuraTest: Integrating Quantum Specific Features in Quantum Program Testing

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

Source: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on. :1149-1161 Sep, 2023

Relation: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Search-Based Quantum Program Testing via Commuting Pauli String

Authors: Asmar Muqeet, Shaukat Ali 0001, Paolo Arcaini

Source: CoRR.

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Software Engineering

Access URL: http://arxiv.org/abs/2602.11487

UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing

Authors: He, Yifeng, Huang, Jiabo, Rong, Yuyang, Guo, Yiwen, Wang, Ethan, Chen, Hao

Subject Terms: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Computer Science - Cryptography and Security, Computer Science - Machine Learning

Access URL: http://arxiv.org/abs/2402.03396

The Program Testing Ability of Large Language Models for Code

Authors: Xiong, Weimin, Guo, Yiwen, Chen, Hao

Subject Terms: Computer Science - Computation and Language, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2310.05727

UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing

Authors: Yifeng He, Jiabo Huang, Yuyang Rong, Yiwen Guo, Ethan Wang, Hao Chen 0003

Source: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. :1061-1072

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Machine Learning, Computer Science - Computation and Language, Computer Science - Cryptography and Security, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Computation and Language (cs.CL), Cryptography and Security (cs.CR), Machine Learning (cs.LG)

Access URL: http://arxiv.org/abs/2402.03396

Randomized and Diverse Input State Generation for Quantum Program Testing

Authors: Ernzer, Maryse, Shin, Seung Yeob, Pastore, Fabrizio, Bianculli, Domenico

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Software Engineering

Access URL: https://arxiv.org/abs/2605.03957
http://arxiv.org/abs/2605.03957

On Polyglot Program Testing

Authors: Philémon Houdaille, Djamel Eddine Khelladi, Benoît Combemale, Gunter Mussbacher

Contributors: Houdaille, Philémon

Source: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering. :507-511

Subject Terms: Software engineering, Polyglot programming, Software testing and debugging, Software development techniques, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [INFO] Computer Science [cs], Interoperability, White box testing, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

File Description: application/pdf

Access URL: https://hal.science/hal-04588744v1
https://doi.org/10.1145/3663529.3663787
https://hal.science/hal-04588744v1/document

Geometric Theory for Program Testing

Authors: Moller, Bernhard, Hoare, Tony, Hou, Zhe, Dong, Jin Song

Subject Terms: Computer Science - Software Engineering, Computer Science - Programming Languages

Access URL: http://arxiv.org/abs/2206.02083

The Program Testing Ability of Large Language Models for Code

Authors: Weimin Xiong, Yiwen Guo, Hao Chen 0003

Source: Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing: Industry Track. :23-34

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Software Engineering, Computer Science - Computation and Language, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Computation and Language (cs.CL), Machine Learning (cs.LG)

Access URL: http://arxiv.org/abs/2310.05727

The Cost of Certainty: Shot Budgets in Quantum Program Testing

Authors: Andriy V. Miranskyy

Source: CoRR.

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Quantum Physics, Software Engineering, FOS: Physical sciences, Quantum Physics (quant-ph)

Access URL: http://arxiv.org/abs/2510.22418

Assessing Software Interface Quality in the Humanmachine Interaction Systems

Authors: Tarkhov, Sergey V., Tarkhova, Lyaylya M., Minasova, Anastasia Sh.

Source: 2024 6th International Youth Conference on Radio Electronics, Electrical and Power Engineering (REEPE) Radio Electronics, Electrical and Power Engineering (REEPE), 2024 6th International Youth Conference on. :1-5 Feb, 2024

Relation: 2024 6th International Youth Conference on Radio Electronics, Electrical and Power Engineering (REEPE)

A Domain Strategy for Computer Program Testing

Authors: White, L.J., Cohen, E.I.

Source: IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. SE-6(3):247-257 May, 1980

Search-Based Quantum Program Testing via Commuting Pauli String

Authors: Muqeet, Asmar, Ali, Shaukat, Arcaini, Paolo

Index Terms: Software Engineering, text

URL: http://arxiv.org/abs/2602.11487

Logarithm and program testing

Authors: Kuen-Bang Hou (Favonia), Zhuyang Wang

Source: Proceedings of the ACM on Programming Languages. 6:1-26

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Access URL: https://dl.acm.org/doi/pdf/10.1145/3498726

A path analysis approach to concurrent program testing

Authors: Yang, R.-D., Chung, C.-G.

Source: Ninth Annual International Phoenix Conference on Computers and Communications. 1990 Conference Proceedings Computers and Communications, 1990. Conference Proceedings., Ninth Annual International Phoenix Conference on. :425-432 1990

Relation: 1990 Ninth Annual International Phoenix Conference on Computers and Communications

A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications for Object-Oriented Program Testing

Authors: Chen, Huo Yan, Tan, Lin, Tse, T.H.

Source: 2008 International Conference on Computer Science and Software Engineering Computer Science and Software Engineering, 2008 International Conference on. 2:747-750 Dec, 2008

Relation: 2008 International Conference on Computer Science and Software Engineering (CSSE 2008)

Path expression in data flow program testing

Authors: Laski, J.

Source: Proceedings., Fourteenth Annual International Computer Software and Applications Conference Computer Software and Applications Conference, 1990. COMPSAC 90. Proceedings., Fourteenth Annual International. :570-576 1990

Relation: Proceedings Fourteenth Annual International Computer Software and Applications Conference