Cover Image

Test Case Minimization with Quantum Annealers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wang, Xinyi, Muqeet, Asmar, Yue, Tao, Ali, Shaukat, Arcaini, Paolo
Format:	Preprint
Published:	2023
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Search-Based Quantum Program Testing via Commuting Pauli String
by: Muqeet, Asmar, et al.
Published: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Model-based Digital Twins of Medicine Dispensers for Healthcare IoT Applications
by: Sartaj, Hassan, et al.
Published: (2023)

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

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

Reality Bites: Assessing the Realism of Driving Scenarios with Large Language Models
by: Wu, Jiahui, et al.
Published: (2024)

Using quantum annealing to generate test cases for cyber-physical systems
by: Araujo, Hugo, et al.
Published: (2025)

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

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

Quantum-Guided Test Case Minimization for LLM-Based Code Generation
by: Zhang, Huixiang, et al.
Published: (2025)

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

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

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

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

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

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

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