Property-based Testing of Quantum Programs in Q#-Reference-Cited by-同舟云学术

Property-based Testing of Quantum Programs in Q#

Published:2020-06-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops
language:
Short-container-title:

Author:

Honarvar Shahin¹,Mousavi Mohammad Reza¹,Nagarajan Rajagopal²

Affiliation:

1. School of Informatics, University of Leicester, Leicester, United Kingdom

2. Department of Computer Science, Middlesex University, London, United Kingdom

Publisher

ACM

Link

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

Reference29 articles.

1. 2019. Microsoft software developers microsoft/QuantumKatas. https://github.com/microsoft/QuantumKatas/blob/master/SuperdenseCoding/ReferenceImplementation.qs. 2019. Microsoft software developers microsoft/QuantumKatas. https://github.com/microsoft/QuantumKatas/blob/master/SuperdenseCoding/ReferenceImplementation.qs.

2. Equivalence Checking of Quantum Protocols

3. Automated Equivalence Checking of Concurrent Quantum Systems

4. Testing AUTOSAR software with QuickCheck

5. Formalization of Quantum Protocols using Coq

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

1. UPBEAT: Test Input Checks of Q# Quantum Libraries;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Model-Based Testing of Quantum Computations;Lecture Notes in Computer Science;2024-09-10

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

4. Automatic Repair of Quantum Programs via Unitary Operation;ACM Transactions on Software Engineering and Methodology;2024-06-28

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