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

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

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

Parallel program testing based on critical communication and branch transformation.

Συγγραφείς: Tian, Tian¹ (AUTHOR), Wang, Anshi¹ (AUTHOR), Yang, Xiuting¹ (AUTHOR), Gong, Dunwei² (AUTHOR) dwgong@vip.163.com, Hou, Tie¹ (AUTHOR), Yao, Xiangjuan³ (AUTHOR)

Πηγή: Journal of Supercomputing. Jan2024, Vol. 80 Issue 1, p519-548. 30p.

Θεματικοί όροι: *Genetic algorithms, *Computer software testing, *Communication barriers, *Test methods, *Evaluation methodology

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

An Automated Path-Focused Test Case Generation with Dynamic Parameterization Using Adaptive Genetic Algorithm (AGA) for Structural Program Testing.

Συγγραφείς: Rajagopal, Manikandan¹ (AUTHOR), Sivasakthivel, Ramkumar² (AUTHOR), Loganathan, Karuppusamy³ (AUTHOR) loganathankaruppusamy304@gmail.com, Sarris, Loannis E.⁴ (AUTHOR) loganathankaruppusamy304@gmail.com

Πηγή: Information. Mar2023, Vol. 14 Issue 3, p166. 18p.

Θεματικοί όροι: *Computer software testing, *Genetic algorithms, *Software engineering, *Parameterization, *Software engineers, *Commercial product testing

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