QuSBT-Reference-Cited by-同舟云学术

QuSBT

Published:2022-05-21 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings
language:
Short-container-title:

Author:

Wang Xinyi¹,Arcaini Paolo²,Yue Tao¹,Ali Shaukat³

Affiliation:

1. Nanjing University of Aeronautics and Astronautics, Nanjing, China

2. National Institute of Informatics, Tokyo, Japan

3. Simula Research Laboratory, Oslo, Norway

Funder

The National Natural Science Foundation of China

ERATO HASUO Metamathematics for Systems Design Project

Research Council of Norway

Publisher

ACM

Link

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

Reference15 articles.

1. Alan Agresti . 2019. An introduction to categorical data analysis (3 ed.) . Wiley-Blackwell . Alan Agresti. 2019. An introduction to categorical data analysis (3 ed.). Wiley-Blackwell.

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

3. jMetalPy: A Python framework for multi-objective optimization with metaheuristics

4. Property-based Testing of Quantum Programs in Q#

5. Eric R. Johnston , Nic Harrigan , and Mercedes Gimeno-Segovia . 2019. Programming Quantum Computers: Essential Algorithms and Code Samples . O'Reilly Media, Inc orporated. Eric R. Johnston, Nic Harrigan, and Mercedes Gimeno-Segovia. 2019. Programming Quantum Computers: Essential Algorithms and Code Samples. O'Reilly Media, Incorporated.

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

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

2. Gate Branch Coverage: A Metric for Quantum Software Testing;Proceedings of the 1st ACM International Workshop on Quantum Software Engineering: The Next Evolution;2024-07-16

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

4. Quantum Software Testing 101;Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings;2024-04-14

5. Verification and Validation of Quantum Software;Quantum Software;2024