Metamorphic testing of oracle quantum programs-Reference-Cited by-同舟云学术

Metamorphic testing of oracle quantum programs

Published:2022-05-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 3rd International Workshop on Quantum Software Engineering
language:
Short-container-title:

Author:

Abreu Rui¹,Fernandes João Paulo¹,Llana Luis²,Tavares Guilherme³

Affiliation:

1. University of Porto, Porto, Portugal

2. Universidad Complutense de Madrid, Madrid, Spain

3. University of Coimbra, Coimbra, Portugal

Funder

Region of Madrid

Portuguese FCT/MCTES

MINECO-FEDER

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3528230.3529189

Reference16 articles.

1. Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs

2. Koen Bertels , A Sarkar , A Krol , R Budhrani , J Samadi , E Geoffroy , J Matos , R Abreu , G Gielen , and I Ashraf . Quantum accelerator stack: A research roadmap. arXiv preprint arXiv:2102.02035 , 2021 . Koen Bertels, A Sarkar, A Krol, R Budhrani, J Samadi, E Geoffroy, J Matos, R Abreu, G Gielen, and I Ashraf. Quantum accelerator stack: A research roadmap. arXiv preprint arXiv:2102.02035, 2021.

3. QBugs: A Collection of Reproducible Bugs in Quantum Algorithms and a Supporting Infrastructure to Enable Controlled Quantum Software Testing and Debugging Experiments

4. Metamorphic Testing

5. Validating quantum computers using randomized model circuits

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Test Case Minimization with Quantum Annealers;ACM Transactions on Software Engineering and Methodology;2024-07-27

2. Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing;ACM Transactions on Software Engineering and Methodology;2024-06-27

3. MET-MAPF: A Metamorphic Testing Approach for Multi-Agent Path Finding Algorithms;ACM Transactions on Software Engineering and Methodology;2024-06-12

4. Metamorphic Testing of an Autonomous Delivery Robots Scheduler;2024 IEEE Conference on Software Testing, Verification and Validation (ICST);2024-05-27

5. Equivalence, identity, and unitarity checking in black-box testing of quantum programs;Journal of Systems and Software;2024-05