Cover Image

Randomized and Diverse Input State Generation for Quantum Program Testing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ernzer, Maryse, Shin, Seung Yeob, Pastore, Fabrizio, Bianculli, Domenico
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Can LLMs Solve Science or Just Write Code? Evaluating Quantum Solver Generation
by: Baresi, Luciano, et al.
Published: (2026)

Quantum Program Linting with LLMs: Emerging Results from a Comparative Study
by: Shin, Seung Yeob, et al.
Published: (2025)

Beyond Rules: LLM-Powered Linting for Quantum Programs
by: Cassieri, Pietro, et al.
Published: (2026)

Towards Generating Executable Metamorphic Relations Using Large Language Models
by: Shin, Seung Yeob, et al.
Published: (2024)

Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
by: Mandrioli, Claudio, et al.
Published: (2024)

Stress Testing Control Loops in Cyber-Physical Systems
by: Mandrioli, Claudio, et al.
Published: (2023)

Learning-Guided Fuzzing for Testing Stateful SDN Controllers
by: Ollando, Raphaël, et al.
Published: (2024)

Test Schedule Generation for Acceptance Testing of Mission-Critical Satellite Systems
by: Ollando, Raphaël, et al.
Published: (2025)

A Piece of QAICCC: Towards a Countermeasure Against Crosstalk Attacks in Quantum Servers
by: Marquer, Yoann, et al.
Published: (2025)

Towards a Taxonomy of Software Log Smells
by: Saarimäki, Nyyti, et al.
Published: (2024)

Diagnosing Violations of State-based Specifications in iCFTL
by: Stratan, Cristina, et al.
Published: (2025)

Rigorous Assessment of Model Inference Accuracy using Language Cardinality
by: Clun, Donato, et al.
Published: (2022)

Impact of Log Parsing on Deep Learning-Based Anomaly Detection
by: Khan, Zanis Ali, et al.
Published: (2023)

AIM: Automated Input Set Minimization for Metamorphic Security Testing
by: Chaleshtari, Nazanin Bayati, et al.
Published: (2024)

Systematic Evaluation of Deep Learning Models for Log-based Failure Prediction
by: Hadadi, Fatemeh, et al.
Published: (2023)

Fuzzing-based Mutation Testing of C/C++ Software in Cyber-Physical Systems
by: Lee, Jaekwon, et al.
Published: (2025)

Testing Updated Apps by Adapting Learned Models
by: Ngo, Chanh-Duc, et al.
Published: (2023)

GAN-enhanced Simulation-driven DNN Testing in Absence of Ground Truth
by: Attaoui, Mohammed, et al.
Published: (2025)

Search-based DNN Testing and Retraining with GAN-enhanced Simulations
by: Attaoui, Mohammed Oualid, et al.
Published: (2024)

MOTIF: A tool for Mutation Testing with Fuzzing
by: Lee, Jaekwon, et al.
Published: (2024)

Field-based Security Testing of SDN configuration Updates
by: Malik, Jahanzaib, et al.
Published: (2024)

LLM meets ML: Data-efficient Anomaly Detection on Unstable Logs
by: Hadadi, Fatemeh, et al.
Published: (2024)

Trace Diagnostics for Signal-based Temporal Properties
by: Boufaied, Chaima, et al.
Published: (2022)

NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation
by: Jin, Tiancheng, et al.
Published: (2025)

Learning Failure-Inducing Models for Testing Software-Defined Networks
by: Ollando, Raphaël, et al.
Published: (2022)

A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms
by: Belgacem, Hichem, et al.
Published: (2022)

Learning-Based Relaxation of Completeness Requirements for Data Entry Forms
by: Belgacem, Hichem, et al.
Published: (2023)

SAGA: Detecting Security Vulnerabilities Using Static Aspect Analysis
by: Marquer, Yoann, et al.
Published: (2026)

Solsmith: Solidity Random Program Generator for Compiler Testing
by: Li, Lantian, et al.
Published: (2025)

GDPR-Relevant Privacy Concerns in Mobile Apps Research: A Systematic Literature Review
by: Cejas, Orlando Amaral, et al.
Published: (2024)

Input-Gen: Guided Generation of Stateful Inputs for Testing, Tuning, and Training
by: Ivanov, Ivan R., et al.
Published: (2024)

Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs
by: Yoon, Juyeon, et al.
Published: (2025)

Moving beyond Deletions: Program Simplification via Diverse Program Transformations
by: Wang, Haibo, et al.
Published: (2024)

A Comprehensive Study of Machine Learning Techniques for Log-Based Anomaly Detection
by: Ali, Shan, et al.
Published: (2023)

Enriching Automatic Test Case Generation by Extracting Relevant Test Inputs from Bug Reports
by: Ouédraogo, Wendkûuni C., et al.
Published: (2023)

Latent Regularization in Generative Test Input Generation
by: Merabishvili, Giorgi, et al.
Published: (2026)

Generating Realistic, Diverse, and Fault-Revealing Inputs with Latent Space Interpolation for Testing Deep Neural Networks
by: Duan, Bin, et al.
Published: (2025)

QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs
by: Luo, Junjie, et al.
Published: (2026)

LLMs for Test Input Generation for Semantic Caches
by: Rasool, Zafaryab, et al.
Published: (2024)

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