UPBEAT: Test Input Checks of Q# Quantum Libraries

Hu, T., Ye, G., Tang, Z. et al. (4 more authors) (2024) UPBEAT: Test Input Checks of Q# Quantum Libraries. In: ISSTA 2024: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 16-20 Sep 2024, Vienna, Austria. ACM , New York, NY , pp. 186-198. ISBN 979-8-4007-0612-7

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Copyright, Publisher and Additional Information:

This item is protected by copyright. This is an author produced version of a conference paper accepted for publication in Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2024, made available under the terms of the Creative Commons Attribution License (CC-BY), which permits unrestricted use, distribution and reproduction in any medium, provided the original work is properly cited.

Keywords: Quantum computing, Fuzzing, Software testing
Dates:
  • Published: 11 September 2024
  • Published (online): 11 September 2024
  • Accepted: 2 March 2024
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds) > Distributed Systems & Services
Depositing User: Symplectic Publications
Date Deposited: 08 Apr 2024 10:04
Last Modified: 01 Oct 2024 08:10
Published Version: https://dl.acm.org/doi/10.1145/3650212.3652120
Status: Published
Publisher: ACM
Identification Number: 10.1145/3650212.3652120
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Export

Statistics