Cover Image

Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Oldfield, Noah H., Laaber, Christoph, Yue, Tao, Ali, Shaukat
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Quantum Physics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bloch Vector Assertions for Debugging Quantum Programs
by: Oldfield, Noah H., et al.
Published: (2025)

Evaluating Search-Based Software Microbenchmark Prioritization
by: Laaber, Christoph, et al.
Published: (2022)

Testing Medical Rules Web Services in Practice
by: Laaber, Christoph, et al.
Published: (2024)

Toolchain for Faster Iterations in Quantum Software Development
by: Kinanen, Otso, et al.
Published: (2025)

Mitigating Noise in Quantum Software Testing Using Machine Learning
by: Muqeet, Asmar, et al.
Published: (2023)

Mining Quantum Software Patterns in Open-Source Projects
by: Ramalho, Neilson Carlos Leite, et al.
Published: (2026)

LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine
by: Isaku, Erblin, et al.
Published: (2024)

Quantum Approximate Optimization Algorithm for Test Case Optimization
by: Wang, Xinyi, et al.
Published: (2023)

Test Case Minimization with Quantum Annealers
by: Wang, Xinyi, et al.
Published: (2023)

Towards Quantum Software for Quantum Simulation
by: Franz, Maja, et al.
Published: (2025)

Quantum Software Ecosystem Design
by: Basermann, Achim, et al.
Published: (2024)

Quantum-Based Software Engineering
by: Zhao, Jianjun
Published: (2025)

Envisioning Responsible Quantum Software Engineering and Quantum Artificial Intelligence
by: Bano, Muneera, et al.
Published: (2024)

Integrating Quantum Software Tools with(in) MLIR
by: Hopf, Patrick, et al.
Published: (2026)

A Machine Learning-Based Error Mitigation Approach For Reliable Software Development On IBM'S Quantum Computers
by: Muqeet, Asmar, et al.
Published: (2024)

Towards View-based Development of Quantum Software
by: Ammermann, Joshua, et al.
Published: (2024)

Validation of an Analysability Model in Hybrid Quantum Software
by: Ana, Díaz-Muñoz, et al.
Published: (2024)

Quantum Artificial Intelligence for Software Engineering: the Road Ahead
by: Wang, Xinyi, et al.
Published: (2025)

From Quantum Mechanics to Quantum Software Engineering: A Historical Review
by: Bisicchia, Giuseppe, et al.
Published: (2024)

Quantum Concolic Testing
by: Xia, Shangzhou, et al.
Published: (2024)

Toward Live Noise Fingerprinting in Quantum Software Engineering
by: Bensoussan, Avner, et al.
Published: (2025)

Enhancing Quantum Software Development Process with Experiment Tracking
by: Gamage, Mahee, et al.
Published: (2025)

Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing
by: Long, Peixun, et al.
Published: (2023)

On the Feasibility of Quantum Unit Testing
by: Miranskyy, Andriy, et al.
Published: (2025)

Full-Stack Quantum Software in Practice: Ecosystem, Stakeholders and Challenges
by: Stirbu, Vlad, et al.
Published: (2023)

Bridging Quantum Mechanics and Computing: A Primer for Software Engineers
by: Kiwelekar, Arvind W
Published: (2025)

Implicit Test Oracles for Quantum Computing
by: Langdon, William B.
Published: (2024)

QSPE: Enumerating Skeletal Quantum Programs for Quantum Library Testing
by: Ye, Jiaming, et al.
Published: (2026)

QuantumReservoirPy: A Software Package for Time Series Prediction
by: Miao, Stanley, et al.
Published: (2024)

A Web-based Software Development Kit for Quantum Network Simulation
by: DiAdamo, Stephen, et al.
Published: (2024)

When Abstraction Breaks Physics: Rethinking Modular Design in Quantum Software
by: Zhao, Jianjun
Published: (2025)

Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers
by: Muqeet, Asmar, et al.
Published: (2024)

HITA: An Architecture for System-level Testing of Healthcare IoT Applications
by: Sartaj, Hassan, et al.
Published: (2023)

Testing and Debugging Quantum Programs: The Road to 2030
by: Ramalho, Neilson Carlos Leite, et al.
Published: (2024)

Q-COSMIC: Quantum Software Metrics Based on COSMIC (ISO/IEC19761)
by: Valdes-Souto, Francisco, et al.
Published: (2024)

Quantum Resource Management in the NISQ Era: Implications and Perspectives from Software Engineering
by: Lammers, Marcos Guillermo, et al.
Published: (2025)

Distinguishing Quantum Software Bugs from Hardware Noise: A Statistical Approach
by: Virani, Ahmik, et al.
Published: (2025)

The Cost of Certainty: Shot Budgets in Quantum Program Testing
by: Miranskyy, Andriy
Published: (2025)

QUTest: A Native Testing Framework for Quantum Programs
by: Campos, José
Published: (2026)

Innovative Approaches to Teaching Quantum Computer Programming and Quantum Software Engineering
by: Haghparast, Majid, et al.
Published: (2024)