Search-Based Quantum Program Testing via Commuting Pauli String

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Muqeet, Asmar, Ali, Shaukat, Arcaini, Paolo
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

Assessing Quantum Extreme Learning Machines for Software Testing in Practice
di: Muqeet, Asmar, et al.
Pubblicazione: (2024)

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

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

Search-based Generation of Waypoints for Triggering Self-Adaptations in Maritime Autonomous Vessels
di: Nylænder, Karoline, et al.
Pubblicazione: (2025)

Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots
di: Wang, Xinyi, et al.
Pubblicazione: (2025)

Search-Based Software Engineering and AI Foundation Models: Current Landscape and Future Roadmap
di: Sartaj, Hassan, et al.
Pubblicazione: (2025)

Foundation Models for the Digital Twin Creation of Cyber-Physical Systems
di: Ali, Shaukat, et al.
Pubblicazione: (2024)

Robust Mutation Analysis of Quantum Programs Under Noise
di: Fortz, Sophie, et al.
Pubblicazione: (2026)

Quantum Circuit Repair by Gate Prioritisation
di: Usandizaga, Eñaut Mendiluze, et al.
Pubblicazione: (2026)

Quantum Circuit Mutants: Empirical Analysis and Recommendations
di: Usandizaga, Eñaut Mendiluze, et al.
Pubblicazione: (2023)

Quantum Neural Network Classifier for Cancer Registry System Testing: A Feasibility Study
di: Wang, Xinyi, et al.
Pubblicazione: (2024)

VISOR: A Vision-Language Model-based Test Oracle for Testing Robots
di: Saurabh, Prasun, et al.
Pubblicazione: (2026)

QMutBench: A Dataset of Quantum Circuit Mutants
di: Usandizaga, Eñaut Mendiluze, et al.
Pubblicazione: (2026)

Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context
di: Wang, Xinyi, et al.
Pubblicazione: (2024)

Assessing Vision-Language Models for Perception in Autonomous Underwater Robotic Software
di: Yousaf, Muhammad, et al.
Pubblicazione: (2026)

Automated System-level Testing of Unmanned Aerial Systems
di: Sartaj, Hassan, et al.
Pubblicazione: (2024)

Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow
di: Arrieta, Aitor, et al.
Pubblicazione: (2024)

Software Testing in the Quantum World
di: Abreu, Rui, et al.
Pubblicazione: (2026)

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

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

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

Search-based Robustness Testing of Laptop Refurbishing Robotic Software
di: Isaku, Erblin, et al.
Pubblicazione: (2026)

REST API Testing in DevOps: A Study on an Evolving Healthcare IoT Application
di: Sartaj, Hassan, et al.
Pubblicazione: (2024)

Search-based Selection of Metamorphic Relations for Optimized Robustness Testing of Large Language Models
di: Hyun, Sangwon, et al.
Pubblicazione: (2025)

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

Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements
di: Oldfield, Noah H., et al.
Pubblicazione: (2024)

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

Metamorphic Testing of Vision-Language Action-Enabled Robots
di: Valle, Pablo, et al.
Pubblicazione: (2026)

QMon: Monitoring the Execution of Quantum Circuits with Mid-Circuit Measurement and Reset
di: Ma, Ning, et al.
Pubblicazione: (2025)

Exploring the Potential of Large Language Models in Simulink-Stateflow Mutant Generation
di: Valle, Pablo, et al.
Pubblicazione: (2026)

Quantum Software Engineering: Roadmap and Challenges Ahead
di: Murillo, Juan M., et al.
Pubblicazione: (2024)

Vision Language Model-based Testing of Industrial Autonomous Mobile Robots
di: Wu, Jiahui, et al.
Pubblicazione: (2025)

FairFLRep: Fairness aware fault localization and repair of Deep Neural Networks
di: Openja, Moses, et al.
Pubblicazione: (2025)

Uncertainty-Aware Environment Simulation of Medical Devices Digital Twins
di: Sartaj, Hassan, et al.
Pubblicazione: (2024)

Reinforcement Learning for Testing Interdependent Requirements in Autonomous Vehicles: An Empirical Study
di: Wu, Jiahui, et al.
Pubblicazione: (2025)

Pretrain, Prompt, and Transfer: Evolving Digital Twins for Time-to-Event Analysis in Cyber-physical Systems
di: Xu, Qinghua, et al.
Pubblicazione: (2023)