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

Συγγραφείς: Muqeet, Asmar, Ali, Shaukat, Arcaini, Paolo

Πηγή: 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

Συγγραφείς: Ye, Jiaming, WU, Xiongfei, Xia, Shangzhou, Zhang, Fuyuan, Zhao, Jianjun

Πηγή: 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

Θεματικοί όροι: Sciences informatiques, Software Engineering (cs.SE), FOS: Computer and information sciences, Software Engineering, Computer science, Engineering, computing & technology, Ingénierie, informatique & technologie

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Tiancheng Jin, Shangzhou Xia, Jianjun Zhao 0001

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

Θεματικοί όροι: Software Engineering (cs.SE), FOS: Computer and information sciences, Software Engineering

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2509.04763

QuraTest: Integrating Quantum Specific Features in Quantum Program Testing

Συγγραφείς: Ye, Jiaming, Xia, Shangzhou, Zhang, Fuyuan, Arcaini, Paolo, Ma, Lei, Zhao, Jianjun, Ishikawa, Fuyuki

Πηγή: 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

Συγγραφείς: Asmar Muqeet, Shaukat Ali 0001, Paolo Arcaini

Πηγή: CoRR.

Θεματικοί όροι: Software Engineering (cs.SE), FOS: Computer and information sciences, Software Engineering

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2602.11487

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

Συγγραφείς: He, Yifeng, Huang, Jiabo, Rong, Yuyang, Guo, Yiwen, Wang, Ethan, Chen, Hao

Θεματικοί όροι: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Computer Science - Cryptography and Security, Computer Science - Machine Learning

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2402.03396

The Program Testing Ability of Large Language Models for Code

Συγγραφείς: Xiong, Weimin, Guo, Yiwen, Chen, Hao

Θεματικοί όροι: Computer Science - Computation and Language, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Software Engineering

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2310.05727

Randomized and Diverse Input State Generation for Quantum Program Testing

Συγγραφείς: Ernzer, Maryse, Shin, Seung Yeob, Pastore, Fabrizio, Bianculli, Domenico

Θεματικοί όροι: Software Engineering (cs.SE), FOS: Computer and information sciences, Software Engineering

Σύνδεσμος πρόσβασης: https://arxiv.org/abs/2605.03957
http://arxiv.org/abs/2605.03957

On Polyglot Program Testing

Συγγραφείς: Philémon Houdaille, Djamel Eddine Khelladi, Benoît Combemale, Gunter Mussbacher

Συνεισφορές: Houdaille, Philémon

Πηγή: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering. :507-511

Θεματικοί όροι: 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]

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hal.science/hal-04588744v1
https://doi.org/10.1145/3663529.3663787
https://hal.science/hal-04588744v1/document

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

Συγγραφείς: Yifeng He, Jiabo Huang, Yuyang Rong, Yiwen Guo, Ethan Wang, Hao Chen 0003

Πηγή: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. :1061-1072

Θεματικοί όροι: 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)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2402.03396

Geometric Theory for Program Testing

Συγγραφείς: Moller, Bernhard, Hoare, Tony, Hou, Zhe, Dong, Jin Song

Θεματικοί όροι: Computer Science - Software Engineering, Computer Science - Programming Languages

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2206.02083

The Program Testing Ability of Large Language Models for Code

Συγγραφείς: Weimin Xiong, Yiwen Guo, Hao Chen 0003

Πηγή: Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing: Industry Track. :23-34

Θεματικοί όροι: 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)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2310.05727

The Cost of Certainty: Shot Budgets in Quantum Program Testing

Συγγραφείς: Andriy V. Miranskyy

Πηγή: CoRR.

Θεματικοί όροι: Software Engineering (cs.SE), FOS: Computer and information sciences, Quantum Physics, Software Engineering, FOS: Physical sciences, Quantum Physics (quant-ph)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2510.22418

Assessing Software Interface Quality in the Humanmachine Interaction Systems

Συγγραφείς: Tarkhov, Sergey V., Tarkhova, Lyaylya M., Minasova, Anastasia Sh.

Πηγή: 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

Συγγραφείς: White, L.J., Cohen, E.I.

Πηγή: 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

Συγγραφείς: Muqeet, Asmar, Ali, Shaukat, Arcaini, Paolo

Όροι ευρετηρίου: Software Engineering, text

Σύνδεσμος: http://arxiv.org/abs/2602.11487

Logarithm and program testing

Συγγραφείς: Kuen-Bang Hou (Favonia), Zhuyang Wang

Πηγή: Proceedings of the ACM on Programming Languages. 6:1-26

Θεματικοί όροι: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Σύνδεσμος πρόσβασης: https://dl.acm.org/doi/pdf/10.1145/3498726

A path analysis approach to concurrent program testing

Συγγραφείς: Yang, R.-D., Chung, C.-G.

Πηγή: 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

Συγγραφείς: Chen, Huo Yan, Tan, Lin, Tse, T.H.

Πηγή: 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

Συγγραφείς: Laski, J.

Πηγή: 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